dmodloc.lib
constant testdmodloc
constant dmodGeneralAssumptionCheck
constant safeVarName
constant extendWeyl
constant polyVars
constant monomialInIdeal
constant vars2pars
constant minMaxIntRoot
constant minIntRoot2
constant maxIntRoot
constant dmodAction
constant checkRatInput
constant dmodActionRat
constant arithmeticRat
constant simplifyRat
constant addRat
constant multRat
constant diffRat
constant commRing
constant orderedPartition
constant holonomicRank
constant DsingularLocus
constant finKx
constant rightNFWeyl
constant Dlocalization
constant orderFiltrationD1
constant kerLinMapD1
constant leftDivisionKxD1
constant WeylClosure1
constant WeylClosure
constant polSol
constant ex_polSol
constant polSolFiniteRank
constant twistedIdeal
constant ratSol
constant bfctBound
constant annRatSyz