That would explain why it wasn't working. I've never done polyhedral computations before, but I will look at your example and the reference manual and see what I can do!
Thank you! On Dec 5, 1:45 pm, Volker Braun <vbraun.n...@gmail.com> wrote: > I don't think maxima does polyhedral computations in its assume facility, > so you probably get the wrong answer. > > We do, however, have quite a lot of tools for polyhedral computations: > > sage: P = Polyhedron(ieqs=[(1,2), (10,-7)]) > sage: P > A 1-dimensional polyhedron in QQ^1 defined as the convex hull of 2 vertices > sage: P.Hrepresentation() > (An inequality (-7) x + 10 >= 0, An inequality (2) x + 1 >= 0) > sage: P.Vrepresentation() > (A vertex at (10/7), A vertex at (-1/2)) > sage: P.integral_points() > ((0), (1)) -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
