dmodapp.lib
constant testdmodapp
constant dmodappAssumeViolation
constant dmodappMoreAssumeViolation
constant safeVarName
constant intLike
constant engine
constant poly2list
constant fl2poly
constant insertGenerator
constant deleteGenerator
constant sortNumberIdeal
constant bFactor
constant isInt
constant intRoots
constant sortIntvec
constant isFsat
constant annRat
constant annPoly
constant DLoc
constant DLoc0
constant SDLoc
constant GBWeight
constant inForm
constant initialIdealW
constant initialMalgrange
constant restrictionModuleEngine
constant restrictionModuleOutput
constant restrictionModule
constant restrictionIdealEngine
constant restrictionIdeal
constant fourier
constant inverseFourier
constant integralModule
constant integralIdeal
constant deRhamCohomIdeal
constant deRhamCohom
constant appelF1
constant appelF2
constant appelF4
constant charVariety
constant charInfo