ffsolve.lib
constant ffsolve
constant PEsolve
constant simplesolver
constant GBsolve
constant XLsolve
constant ZZsolve
constant linearReduce
constant monomialsOfDegreeAtMost
constant reorderMonomials
constant melyseg
constant productOfEqs
constant clonering
constant defaultIdeal
constant order_of_extension
constant vec2elm
constant increment
constant nextVec
constant every_vector
constant num2int
constant get_minpoly_str
constant sort_ideal
constant add_if_new
constant Z_get_minpoly
constant Z_phi
constant Z_default_ideal