Instead of projecting (which requires some convention about bases to be able to work with coordinates) I would try to use the Minkowski sum with the linear space in the direction that you want to unconstrain.
E.g. the diagonal in the unit square: sage: P = Polyhedron([(0,0), (1,1)]) Say you want to project along the x-axis. Instead, Minkowski-add the x-axis: sage: Q = P + Polyhedron(lines=[(1,0)]) sage: Q.Hrepresentation() (An inequality (0, 1) x + 0 >= 0, An inequality (0, -1) x + 1 >= 0) You can also intersect with some linear subspace not parallel to the x-axis (say, the y-axis) to realize the projection. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
