resolve.lib
constant
showDataTypes
type
type
returntype
constant
createBO
type
type
list
→
(
ideal
→
returntype
)
constant
blowUp
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
blowUp2
type
type
ideal
→
(
ideal
→
returntype
)
constant
Center
type
type
list
→
(
ideal
→
returntype
)
constant
blowUpBO
type
type
int
→
(
ideal
→
(
list
→
returntype
)
)
constant
slocusE
type
type
ideal
→
returntype
constant
inters_E
type
type
list
→
returntype
constant
Delta
type
type
list
→
returntype
constant
redMax
type
type
ideal
→
(
int
→
returntype
)
constant
findMinor
type
type
ideal
→
returntype
constant
indexSet
type
type
int
→
(
int
→
returntype
)
constant
DeltaList
type
type
list
→
returntype
constant
CenterBM
type
type
list
→
returntype
constant
invGreater
type
type
intvec
→
(
intvec
→
(
intmat
→
(
intmat
→
returntype
)
)
)
constant
CenterTail
type
type
ideal
→
(
list
→
returntype
)
constant
deleteInt
type
type
int
→
(
int
→
(
intvec
→
returntype
)
)
constant
concatInt
type
type
intmat
→
(
intmat
→
returntype
)
constant
dropDim
type
type
list
→
returntype
constant
CenterBO
type
type
list
→
(
list
→
returntype
)
constant
CoverCenter
type
type
ideal
→
(
int
→
(
list
→
returntype
)
)
constant
SpecialCoeff
type
type
poly
→
(
int
→
(
list
→
returntype
)
)
constant
DropCoeff
type
type
list
→
returntype
constant
DropRedundant
type
type
list
→
(
list
→
returntype
)
constant
transversalT
type
type
list
→
(
list
→
(
ideal
→
returntype
)
)
constant
transversalTB
type
type
ideal
→
(
list
→
(
ideal
→
returntype
)
)
constant
powerI
type
type
int
→
(
int
→
(
ideal
→
returntype
)
)
constant
Coeff
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
goodChoice
type
type
poly
→
(
list
→
returntype
)
constant
presentTree
type
type
list
→
returntype
constant
showBO
type
type
list
→
returntype
constant
resolve
type
type
list
→
(
ideal
→
returntype
)
constant
CompMeetsE
type
type
list
→
(
ideal
→
returntype
)
constant
testRes
type
type
int
→
(
list
→
(
ideal
→
returntype
)
)
constant
testBlowUp
type
type
int
→
(
int
→
(
list
→
(
ideal
→
(
list
→
returntype
)
)
)
)
constant
normalCross
type
type
list
→
(
list
→
returntype
)
constant
normalCrossB
type
type
ideal
→
(
list
→
(
ideal
→
returntype
)
)
constant
norC
type
type
ideal
→
(
list
→
returntype
)
constant
specialReduce
type
type
poly
→
(
ideal
→
(
ideal
→
returntype
)
)