classifyceq.lib
constant
classifyCeq
type
type
poly
→
returntype
constant
blowupone
type
type
poly
→
returntype
constant
classifyCeq1
type
type
poly
→
returntype
constant
GDsplitting
type
type
poly
→
returntype
constant
myMorsesplitting
type
type
int
→
(
poly
→
returntype
)
constant
findlead
type
type
poly
→
returntype
constant
splitting_one
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
splitting_two
type
type
int
→
(
int
→
(
int
→
(
poly
→
returntype
)
)
)
constant
quickSubst
type
type
int
→
(
int
→
(
poly
→
(
poly
→
returntype
)
)
)
constant
findVar
type
type
poly
→
returntype
constant
forv
type
type
intvec
→
returntype
constant
classifyCeq2
type
type
poly
→
returntype
constant
SPILPRO
type
type
int
→
(
poly
→
returntype
)
constant
surCeq2
type
type
poly
→
returntype
constant
surEsing
type
type
poly
→
returntype
constant
surDsing
type
type
poly
→
returntype
constant
formf
type
type
poly
→
returntype
constant
whichSUR
type
type
poly
→
returntype
constant
findSUR
type
type
poly
→
returntype
constant
findRSUR
type
type
poly
→
returntype
constant
BlowUpO
type
type
poly
→
returntype
constant
lengthBL
type
type
poly
→
returntype
constant
curCeq2
type
type
poly
→
returntype
constant
whichtru
type
type
poly
→
returntype
constant
findR
type
type
poly
→
returntype
constant
findRD
type
type
poly
→
returntype
constant
splitting_SQUA
type
type
int
→
(
poly
→
returntype
)
constant
splitting_two2
type
type
int
→
(
int
→
(
int
→
(
poly
→
returntype
)
)
)
constant
quickSubst2
type
type
int
→
(
int
→
(
poly
→
(
poly
→
returntype
)
)
)
constant
FindPRO
type
type
poly
→
returntype
constant
FindSQUA
type
type
poly
→
returntype
constant
findVAR
type
type
poly
→
returntype
constant
redvar2
type
type
poly
→
returntype
constant
inverseUnit
type
type
int
→
(
poly
→
returntype
)
constant
splittingLchar2
type
type
poly
→
returntype