dmod.lib
constant testdmodlib
typereturntype
constant annfs
typelist(polyreturntype)
constant Sannfs
typelist(polyreturntype)
constant Sannfslog
typelist(polyreturntype)
constant ALTannfsBM
typelist(polyreturntype)
constant bernsteinBM
typelist(polyreturntype)
constant annfsBM
typelist(polyreturntype)
constant annfs2
typelist(poly(idealreturntype))
constant annfsRB
typelist(poly(idealreturntype))
constant operatorBM
typelist(polyreturntype)
constant operatorModulo
typepoly(ideal(polyreturntype))
constant annfsParamBM
typelist(polyreturntype)
constant annfsBMI
typelist(idealreturntype)
constant annfsOT
typelist(polyreturntype)
constant SannfsOT
typelist(polyreturntype)
constant SannfsBM
typelist(polyreturntype)
constant safeVarName
typelist(stringreturntype)
constant SannfsBFCT
typelist(polyreturntype)
constant SannfsBFCTstd
typelist(polyreturntype)
constant SannfsLOT
typelist(polyreturntype)
constant annfsLOT
typelist(polyreturntype)
constant annfs0
typelist(poly(idealreturntype))
constant convloc
typelistreturntype
constant annfspecial
typenumber(int(poly(idealreturntype)))
constant minIntRoot
typeint(idealreturntype)
constant isHolonomic
typedefreturntype
constant reiffen
typeint(intreturntype)
constant arrange
typeintreturntype
constant checkRoot
typelist(number(polyreturntype))
constant checkRoot1
typelist(number(poly(idealreturntype)))
constant checkRoot2
typelist(number(poly(idealreturntype)))
constant checkFactor
typelist(poly(poly(idealreturntype)))
constant indAR
typeint(listreturntype)
constant isRational
typenumberreturntype
constant bernsteinLift
typelist(poly(idealreturntype))