dmod.lib
constant
testdmodlib
type
type
returntype
constant
annfs
type
type
list
→
(
poly
→
returntype
)
constant
Sannfs
type
type
list
→
(
poly
→
returntype
)
constant
Sannfslog
type
type
list
→
(
poly
→
returntype
)
constant
ALTannfsBM
type
type
list
→
(
poly
→
returntype
)
constant
bernsteinBM
type
type
list
→
(
poly
→
returntype
)
constant
annfsBM
type
type
list
→
(
poly
→
returntype
)
constant
annfs2
type
type
list
→
(
poly
→
(
ideal
→
returntype
)
)
constant
annfsRB
type
type
list
→
(
poly
→
(
ideal
→
returntype
)
)
constant
operatorBM
type
type
list
→
(
poly
→
returntype
)
constant
operatorModulo
type
type
poly
→
(
ideal
→
(
poly
→
returntype
)
)
constant
annfsParamBM
type
type
list
→
(
poly
→
returntype
)
constant
annfsBMI
type
type
list
→
(
ideal
→
returntype
)
constant
annfsOT
type
type
list
→
(
poly
→
returntype
)
constant
SannfsOT
type
type
list
→
(
poly
→
returntype
)
constant
SannfsBM
type
type
list
→
(
poly
→
returntype
)
constant
safeVarName
type
type
list
→
(
string
→
returntype
)
constant
SannfsBFCT
type
type
list
→
(
poly
→
returntype
)
constant
SannfsBFCTstd
type
type
list
→
(
poly
→
returntype
)
constant
SannfsLOT
type
type
list
→
(
poly
→
returntype
)
constant
annfsLOT
type
type
list
→
(
poly
→
returntype
)
constant
annfs0
type
type
list
→
(
poly
→
(
ideal
→
returntype
)
)
constant
convloc
type
type
list
→
returntype
constant
annfspecial
type
type
number
→
(
int
→
(
poly
→
(
ideal
→
returntype
)
)
)
constant
minIntRoot
type
type
int
→
(
ideal
→
returntype
)
constant
isHolonomic
type
type
def
→
returntype
constant
reiffen
type
type
int
→
(
int
→
returntype
)
constant
arrange
type
type
int
→
returntype
constant
checkRoot
type
type
list
→
(
number
→
(
poly
→
returntype
)
)
constant
checkRoot1
type
type
list
→
(
number
→
(
poly
→
(
ideal
→
returntype
)
)
)
constant
checkRoot2
type
type
list
→
(
number
→
(
poly
→
(
ideal
→
returntype
)
)
)
constant
checkFactor
type
type
list
→
(
poly
→
(
poly
→
(
ideal
→
returntype
)
)
)
constant
indAR
type
type
int
→
(
list
→
returntype
)
constant
isRational
type
type
number
→
returntype
constant
bernsteinLift
type
type
list
→
(
poly
→
(
ideal
→
returntype
)
)