48 sg = sc_to_sg_chernikova_mulprec(sc);
64 sc = sg_to_sc_chernikova_mulprec(
sg);
80 sc = sc_convex_hull_mulprec(sc1, sc2);
bool linear_use_gmp(void)
whether linear is to use gmp
Psysteme sc_convex_hull(Psysteme sc1, Psysteme sc2)
Psysteme sg_to_sc_chernikova(Ptsg sg)
Ptsg sc_to_sg_chernikova(Psysteme sc)
chernikova_mulprec.c
Ptsg sc_to_sg_chernikova_fixprec(Psysteme sc)
chernikova_fixprec.c
Psysteme sc_convex_hull_fixprec(Psysteme sc1, Psysteme sc2)
Psysteme sg_to_sc_chernikova_fixprec(Ptsg sg)
Representation d'un systeme generateur par trois ensembles de sommets de rayons et de droites.