6 #ifndef polyedre_header_included
7 #define polyedre_header_included
Psysteme elementary_convex_union(Psysteme, Psysteme)
implements FC basic idea of simple fast cases...
Psysteme sc_convex_hull(Psysteme, Psysteme)
Psysteme sc_enveloppe_chernikova_ofl_ctrl(Psysteme, Psysteme, int)
Warning! Do not modify this file that is automatically generated!
Psysteme sg_to_sc_chernikova(Ptsg)
Psysteme sc_convex_hull_fixprec(Psysteme, Psysteme)
Psysteme sc_enveloppe_chernikova(Psysteme, Psysteme)
Ptsg sc_to_sg_chernikova_fixprec(Psysteme)
chernikova_fixprec.c
Ptsg sc_to_sg_chernikova(Psysteme)
chernikova_mulprec.c
Psysteme sc_rectangular_hull(Psysteme, Pbase)
take the rectangular bounding box of the systeme sc, by projecting each constraint of the systeme aga...
Psysteme sg_to_sc_chernikova_fixprec(Ptsg)
Psysteme sc_cute_convex_hull(Psysteme, Psysteme)
returns s1 v s2.
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
Representation d'un systeme generateur par trois ensembles de sommets de rayons et de droites.