resbinomial.lib
constant
inidata
type
type
int
→
(
ideal
→
returntype
)
constant
changeoriginalvar
type
type
returntype
constant
identifyvar
type
type
returntype
constant
data
type
type
int
→
(
int
→
(
ideal
→
returntype
)
)
constant
Edatalist
type
type
list
→
(
int
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
)
constant
EOrdlist
type
type
list
→
(
int
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
)
constant
maxEord
type
type
list
→
(
int
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
)
constant
elimrep
type
type
list
→
returntype
constant
Emaxcont
type
type
list
→
(
int
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
)
constant
cleanunit
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
ECoef
type
type
list
→
(
int
→
(
number
→
(
int
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
)
)
)
constant
determinecenter
type
type
intvec
→
(
int
→
(
list
→
(
list
→
(
intvec
→
(
int
→
(
int
→
(
number
→
(
list
→
(
list
→
returntype
)
)
)
)
)
)
)
)
)
constant
Blowupcenter
type
type
int
→
(
int
→
(
number
→
(
list
→
(
int
→
(
int
→
(
list
→
returntype
)
)
)
)
)
)
constant
tradblwup
type
type
int
→
(
intvec
→
(
int
→
(
int
→
(
list
→
returntype
)
)
)
)
constant
Nonhyp
type
type
list
→
(
list
→
(
int
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
)
)
constant
calculateI
type
type
list
→
(
number
→
(
intvec
→
(
int
→
(
int
→
(
number
→
(
list
→
(
list
→
returntype
)
)
)
)
)
)
)
constant
Eresol
type
type
ideal
→
returntype
constant
resfunction
type
type
int
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
constant
BINresol
type
type
ideal
→
returntype
constant
Maxord
type
type
int
→
(
list
→
returntype
)
constant
Gamma
type
type
int
→
(
number
→
(
list
→
returntype
)
)
constant
convertdata
type
type
list
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
constant
lcmofall
type
type
list
→
(
int
→
returntype
)
constant
salida
type
type
int
→
(
int
→
(
int
→
(
intvec
→
(
int
→
(
list
→
(
list
→
(
int
→
returntype
)
)
)
)
)
)
)
constant
genoutput
type
type
int
→
(
int
→
(
int
→
(
list
→
(
int
→
(
list
→
(
list
→
returntype
)
)
)
)
)
)
constant
computemcm
type
type
list
→
returntype
constant
constructH
type
type
list
→
(
int
→
(
intvec
→
returntype
)
)
constant
constructblwup
type
type
list
→
(
ideal
→
(
int
→
(
list
→
returntype
)
)
)
constant
constructlastblwup
type
type
list
→
(
ideal
→
(
int
→
(
list
→
returntype
)
)
)
constant
tradtoideal
type
type
list
→
(
ideal
→
(
intvec
→
returntype
)
)
constant
iniD
type
type
int
→
returntype
constant
sumlist
type
type
list
→
(
list
→
returntype
)
constant
reslist
type
type
list
→
(
list
→
returntype
)
constant
multiplylist
type
type
number
→
(
list
→
returntype
)
constant
dividelist
type
type
list
→
(
list
→
returntype
)
constant
createlist
type
type
list
→
(
list
→
returntype
)
constant
list0
type
type
int
→
returntype