zeroset.lib
constant roots
constant rootsMain
constant zeroSet
constant invertNumberMain
constant MultPolys
constant LeadTerm
constant Quotient
constant quotientMain
constant remainder
constant remainderMain
constant egcdMain
constant MEGCD
constant sqfrNorm
constant sqfrNormMain
constant factorMain
constant zeroSetMain
constant zeroSetMainWork
constant LinearZeroSetMain
constant NonLinearZeroSetMain
constant ExtendSolutions
constant MergeSolutions
constant SubsMapIdeal
constant SimplifyZeroset
constant Variables
constant containedQ
constant sameQ
constant SimplifyPoly
constant SimplifyData
constant TransferRing
constant NewBaseRing