dmodloc.lib
constant testdmodloc
typereturntype
constant dmodGeneralAssumptionCheck
typereturntype
constant safeVarName
typestringreturntype
constant extendWeyl
typedefreturntype
constant polyVars
typeintvec(polyreturntype)
constant monomialInIdeal
typeidealreturntype
constant vars2pars
typeintvecreturntype
constant minMaxIntRoot
typestring(listreturntype)
constant minIntRoot2
typelistreturntype
constant maxIntRoot
typelistreturntype
constant dmodAction
typelist(poly(defreturntype))
constant checkRatInput
typevectorreturntype
constant dmodActionRat
typevector(defreturntype)
constant arithmeticRat
typelist(string(vector(vectorreturntype)))
constant simplifyRat
typevectorreturntype
constant addRat
typevector(vectorreturntype)
constant multRat
typevector(vectorreturntype)
constant diffRat
typeint(vectorreturntype)
constant commRing
typereturntype
constant orderedPartition
typelist(intreturntype)
constant holonomicRank
typelist(idealreturntype)
constant DsingularLocus
typeidealreturntype
constant finKx
typepolyreturntype
constant rightNFWeyl
typeint(defreturntype)
constant Dlocalization
typelist(poly(idealreturntype))
constant orderFiltrationD1
typepolyreturntype
constant kerLinMapD1
typepoly(poly(idealreturntype))
constant leftDivisionKxD1
typepoly(polyreturntype)
constant WeylClosure1
typepolyreturntype
constant WeylClosure
typeidealreturntype
constant polSol
typelist(idealreturntype)
constant ex_polSol
typereturntype
constant polSolFiniteRank
typelist(idealreturntype)
constant twistedIdeal
typeideal(intvec(poly(idealreturntype)))
constant ratSol
typeidealreturntype
constant bfctBound
typelist(poly(idealreturntype))
constant annRatSyz
typelist(poly(polyreturntype))