NewPip/essai.ml

   1 let p = Polyhedron.of_system <:s< i>=0, i<=n >> ;;
   2 let c = Polyhedron.of_system <:s< n>0 >> ;;
   3 Polyhedron.enum p c ;;
   4 Polyhedron.enum c p ;;
   5 let p = Polyhedron.of_system <:s< i>=1, i<=11, i=2k >> ;;
   6 Polyhedron.enumeration ["i"]  p ;;