dmodapp.lib
constant
testdmodapp
type
type
returntype
constant
dmodappAssumeViolation
type
type
returntype
constant
dmodappMoreAssumeViolation
type
type
returntype
constant
safeVarName
type
type
string
→
(
string
→
returntype
)
constant
intLike
type
type
def
→
returntype
constant
engine
type
type
int
→
(
def
→
returntype
)
constant
poly2list
type
type
poly
→
returntype
constant
fl2poly
type
type
string
→
(
list
→
returntype
)
constant
insertGenerator
type
type
list
→
returntype
constant
deleteGenerator
type
type
int
→
(
def
→
returntype
)
constant
sortNumberIdeal
type
type
ideal
→
returntype
constant
bFactor
type
type
poly
→
returntype
constant
isInt
type
type
number
→
returntype
constant
intRoots
type
type
list
→
returntype
constant
sortIntvec
type
type
intvec
→
returntype
constant
isFsat
type
type
poly
→
(
ideal
→
returntype
)
constant
annRat
type
type
poly
→
(
poly
→
returntype
)
constant
annPoly
type
type
poly
→
returntype
constant
DLoc
type
type
poly
→
(
ideal
→
returntype
)
constant
DLoc0
type
type
poly
→
(
ideal
→
returntype
)
constant
SDLoc
type
type
poly
→
(
ideal
→
returntype
)
constant
GBWeight
type
type
list
→
(
intvec
→
(
intvec
→
(
ideal
→
returntype
)
)
)
constant
inForm
type
type
intvec
→
(
def
→
returntype
)
constant
initialIdealW
type
type
list
→
(
intvec
→
(
intvec
→
(
ideal
→
returntype
)
)
)
constant
initialMalgrange
type
type
list
→
(
poly
→
returntype
)
constant
restrictionModuleEngine
type
type
list
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
restrictionModuleOutput
type
type
string
→
(
int
→
(
intvec
→
(
ideal
→
(
ideal
→
returntype
)
)
)
)
constant
restrictionModule
type
type
list
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
restrictionIdealEngine
type
type
list
→
(
string
→
(
intvec
→
(
ideal
→
returntype
)
)
)
constant
restrictionIdeal
type
type
list
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
fourier
type
type
list
→
(
ideal
→
returntype
)
constant
inverseFourier
type
type
list
→
(
ideal
→
returntype
)
constant
integralModule
type
type
list
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
integralIdeal
type
type
list
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
deRhamCohomIdeal
type
type
list
→
(
ideal
→
returntype
)
constant
deRhamCohom
type
type
list
→
(
poly
→
returntype
)
constant
appelF1
type
type
returntype
constant
appelF2
type
type
returntype
constant
appelF4
type
type
returntype
constant
charVariety
type
type
list
→
(
ideal
→
returntype
)
constant
charInfo
type
type
ideal
→
returntype