I take it you are using the PPL wrapper directly instead of the more
user-friendly Polyhedron class. In that case you want the
minimized_generators method:
sage: from sage.libs.ppl import Constraint, Constraint_System, Generator,
Generator_System, Variable, NNC_Polyhedron, point, ray, closure_point
sage: x = Variable(0)
sage: y = Variable(1)
sage: P = NNC_Polyhedron( 5*x-2*y > x+y-1 )
sage: P.minimized_generators()
Generator_System {line(3, 4), ray(0, -1), point(0/1, 0/1),
closure_point(0/3, 1/3)}
On Friday, July 17, 2015 at 2:58:30 AM UTC+2, Anamika wrote:
>
> I am working NNC_Polyhedrons. It needs to be reprented by
> HRepresentations. But, for visualisation and some computation purposes, I
> need to get the VRepresentation from the Hrepresentation of an
> NNC_Polyhedron.
> Is there anything already implemented like that?
>
--
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 sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
