zeroset.lib
constant
roots
type
type
poly
→
returntype
constant
rootsMain
type
type
poly
→
returntype
constant
zeroSet
type
type
list
→
(
ideal
→
returntype
)
constant
invertNumberMain
type
type
poly
→
returntype
constant
MultPolys
type
type
poly
→
(
poly
→
returntype
)
constant
LeadTerm
type
type
int
→
(
poly
→
returntype
)
constant
Quotient
type
type
poly
→
(
poly
→
returntype
)
constant
quotientMain
type
type
poly
→
(
poly
→
returntype
)
constant
remainder
type
type
poly
→
(
poly
→
returntype
)
constant
remainderMain
type
type
poly
→
(
poly
→
returntype
)
constant
egcdMain
type
type
poly
→
(
poly
→
returntype
)
constant
MEGCD
type
type
int
→
(
poly
→
(
poly
→
returntype
)
)
constant
sqfrNorm
type
type
poly
→
returntype
constant
sqfrNormMain
type
type
poly
→
returntype
constant
factorMain
type
type
poly
→
returntype
constant
zeroSetMain
type
type
int
→
(
ideal
→
returntype
)
constant
zeroSetMainWork
type
type
int
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
LinearZeroSetMain
type
type
intvec
→
(
ideal
→
returntype
)
constant
NonLinearZeroSetMain
type
type
intvec
→
(
ideal
→
returntype
)
constant
ExtendSolutions
type
type
list
→
(
list
→
returntype
)
constant
MergeSolutions
type
type
list
→
(
list
→
(
list
→
(
list
→
returntype
)
)
)
constant
SubsMapIdeal
type
type
int
→
(
list
→
(
list
→
returntype
)
)
constant
SimplifyZeroset
type
type
def
→
returntype
constant
Variables
type
type
int
→
(
poly
→
returntype
)
constant
containedQ
type
type
list
→
(
def
→
(
def
→
returntype
)
)
constant
sameQ
type
type
def
→
(
def
→
returntype
)
constant
SimplifyPoly
type
type
poly
→
returntype
constant
SimplifyData
type
type
def
→
returntype
constant
TransferRing
type
type
def
→
returntype
constant
NewBaseRing
type
type
returntype