classify_aeq.lib
constant
planeCur
type
type
ideal
→
returntype
constant
spaceCur
type
type
ideal
→
returntype
constant
sagbiAlg
type
type
list
→
(
ideal
→
returntype
)
constant
reducedSagbiAlg
type
type
list
→
(
ideal
→
returntype
)
constant
classifyAEQunimodal
type
type
ideal
→
returntype
constant
computeModulus
type
type
poly
→
returntype
constant
n_thRoot
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
bino
type
type
int
→
(
number
→
returntype
)
constant
sagbiMod
type
type
ideal
→
(
ideal
→
returntype
)
constant
cleanI
type
type
int
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
semiGroup
type
type
ideal
→
returntype
constant
semiMod
type
type
ideal
→
(
ideal
→
returntype
)
constant
sagbiNF
type
type
int
→
(
ideal
→
(
poly
→
returntype
)
)
constant
sagbiSP
type
type
ideal
→
returntype
constant
sortSagbi
type
type
ideal
→
returntype
constant
insertOne
type
type
int
→
(
ideal
→
(
poly
→
returntype
)
)
constant
interReduceSagbi
type
type
int
→
(
ideal
→
returntype
)
constant
correctBound
type
type
int
→
(
ideal
→
returntype
)
constant
sortMinord
type
type
ideal
→
returntype
constant
inversP
type
type
int
→
(
poly
→
returntype
)
constant
ConductorBound
type
type
ideal
→
returntype
constant
sortMOD
type
type
ideal
→
returntype
constant
SpolyMOD
type
type
ideal
→
(
ideal
→
returntype
)
constant
sagbiNFMODO
type
type
int
→
(
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
)
constant
specialSubst
type
type
int
→
(
ideal
→
(
poly
→
returntype
)
)
constant
sagbiNFMOD
type
type
int
→
(
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
)
constant
createP
type
type
ideal
→
returntype
constant
enlargeP
type
type
ideal
→
(
list
→
(
poly
→
returntype
)
)
constant
sortIntvec
type
type
intvec
→
returntype
constant
findConductor
type
type
intvec
→
returntype
constant
cutAfterConductor
type
type
intvec
→
returntype
constant
CompareList
type
type
int
→
(
list
→
(
list
→
returntype
)
)
constant
Guess
type
type
ideal
→
returntype
constant
inVar
type
type
ideal
→
returntype
constant
ivec
type
type
intvec
→
(
int
→
returntype
)
constant
normalMap
type
type
int
→
(
ideal
→
returntype
)
constant
reduc
type
type
int
→
(
ideal
→
(
poly
→
returntype
)
)
constant
HHnormalForm
type
type
list
→
(
ideal
→
returntype
)
constant
findTrafo
type
type
int
→
(
ideal
→
returntype
)
constant
specialInterred
type
type
ideal
→
returntype
constant
specialReduce
type
type
ideal
→
(
poly
→
returntype
)