On Friday, 17 July 2015 09:26:02 UTC+1, Volker Braun wrote:
>
> 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:t
>
can one deal with N(ot) N(ecessarily) C(losed) polyhedra in Polyhedron?
IMHO one cannot.
> 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.
