normal.lib
constant
normal
type
type
list
→
(
ideal
→
returntype
)
constant
normalOutputText
type
type
int
→
(
int
→
(
int
→
returntype
)
)
constant
HomJJ
type
type
list
→
returntype
constant
iMult
type
type
list
→
returntype
constant
locAtZero
type
type
ideal
→
returntype
constant
normalizationPrimes
type
type
list
→
(
intvec
→
(
int
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
constant
substpart
type
type
intvec
→
(
int
→
(
ideal
→
(
ideal
→
returntype
)
)
)
constant
deltaP
type
type
ideal
→
returntype
constant
genus
type
type
list
→
(
ideal
→
returntype
)
constant
deltaLoc
type
type
ideal
→
(
poly
→
returntype
)
constant
w_deg
type
type
intvec
→
(
poly
→
returntype
)
constant
primeClosure
type
type
list
→
(
list
→
returntype
)
constant
closureFrac
type
type
list
→
returntype
constant
closureGenerators
type
type
list
→
returntype
constant
normalP
type
type
list
→
(
ideal
→
returntype
)
constant
normalityTest
type
type
list
→
returntype
constant
substpartSpecial
type
type
ideal
→
(
ideal
→
returntype
)
constant
computeRing
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
normalM
type
type
ideal
→
(
ideal
→
(
int
→
(
int
→
(
int
→
(
ideal
→
returntype
)
)
)
)
)
constant
normalMEqui
type
type
int
→
(
poly
→
(
poly
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
constant
lineUpLast
type
type
poly
→
(
ideal
→
returntype
)
constant
lineUp
type
type
poly
→
(
ideal
→
returntype
)
constant
getOneVar
type
type
int
→
(
ideal
→
returntype
)
constant
getSmallest
type
type
ideal
→
returntype
constant
getGenerators
type
type
poly
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
testIdeal
type
type
poly
→
(
poly
→
(
ideal
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
constant
changeDenominator
type
type
ideal
→
(
poly
→
(
poly
→
(
ideal
→
returntype
)
)
)
constant
changeDenominatorQ
type
type
poly
→
(
poly
→
(
ideal
→
returntype
)
)
constant
checkInclusions
type
type
ideal
→
(
ideal
→
returntype
)
constant
degSubring
type
type
intvec
→
(
poly
→
returntype
)
constant
mapBackIdeal
type
type
intvec
→
(
poly
→
(
ideal
→
returntype
)
)
constant
mapBackPoly
type
type
intvec
→
(
poly
→
(
poly
→
returntype
)
)
constant
getAttrib
type
type
ideal
→
returntype
constant
setAttrib
type
type
intvec
→
(
ideal
→
returntype
)
constant
copyAttribs
type
type
ideal
→
(
ideal
→
returntype
)
constant
normalC
type
type
list
→
(
ideal
→
returntype
)
constant
closureRingtower
type
type
list
→
returntype
constant
timeNormal
type
type
list
→
(
ideal
→
returntype
)
constant
sqroot
type
type
int
→
returntype
constant
norTest
type
type
list
→
(
list
→
(
ideal
→
returntype
)
)
constant
normalConductor
type
type
list
→
(
ideal
→
returntype
)