dmodapp.lib
constant testdmodapp
typereturntype
constant dmodappAssumeViolation
typereturntype
constant dmodappMoreAssumeViolation
typereturntype
constant safeVarName
typestring(stringreturntype)
constant intLike
typedefreturntype
constant engine
typeint(defreturntype)
constant poly2list
typepolyreturntype
constant fl2poly
typestring(listreturntype)
constant insertGenerator
typelistreturntype
constant deleteGenerator
typeint(defreturntype)
constant sortNumberIdeal
typeidealreturntype
constant bFactor
typepolyreturntype
constant isInt
typenumberreturntype
constant intRoots
typelistreturntype
constant sortIntvec
typeintvecreturntype
constant isFsat
typepoly(idealreturntype)
constant annRat
typepoly(polyreturntype)
constant annPoly
typepolyreturntype
constant DLoc
typepoly(idealreturntype)
constant DLoc0
typepoly(idealreturntype)
constant SDLoc
typepoly(idealreturntype)
constant GBWeight
typelist(intvec(intvec(idealreturntype)))
constant inForm
typeintvec(defreturntype)
constant initialIdealW
typelist(intvec(intvec(idealreturntype)))
constant initialMalgrange
typelist(polyreturntype)
constant restrictionModuleEngine
typelist(intvec(idealreturntype))
constant restrictionModuleOutput
typestring(int(intvec(ideal(idealreturntype))))
constant restrictionModule
typelist(intvec(idealreturntype))
constant restrictionIdealEngine
typelist(string(intvec(idealreturntype)))
constant restrictionIdeal
typelist(intvec(idealreturntype))
constant fourier
typelist(idealreturntype)
constant inverseFourier
typelist(idealreturntype)
constant integralModule
typelist(intvec(idealreturntype))
constant integralIdeal
typelist(intvec(idealreturntype))
constant deRhamCohomIdeal
typelist(idealreturntype)
constant deRhamCohom
typelist(polyreturntype)
constant appelF1
typereturntype
constant appelF2
typereturntype
constant appelF4
typereturntype
constant charVariety
typelist(idealreturntype)
constant charInfo
typeidealreturntype