dmodloc.lib
constant
testdmodloc
type
type
returntype
constant
dmodGeneralAssumptionCheck
type
type
returntype
constant
safeVarName
type
type
string
→
returntype
constant
extendWeyl
type
type
def
→
returntype
constant
polyVars
type
type
intvec
→
(
poly
→
returntype
)
constant
monomialInIdeal
type
type
ideal
→
returntype
constant
vars2pars
type
type
intvec
→
returntype
constant
minMaxIntRoot
type
type
string
→
(
list
→
returntype
)
constant
minIntRoot2
type
type
list
→
returntype
constant
maxIntRoot
type
type
list
→
returntype
constant
dmodAction
type
type
list
→
(
poly
→
(
def
→
returntype
)
)
constant
checkRatInput
type
type
vector
→
returntype
constant
dmodActionRat
type
type
vector
→
(
def
→
returntype
)
constant
arithmeticRat
type
type
list
→
(
string
→
(
vector
→
(
vector
→
returntype
)
)
)
constant
simplifyRat
type
type
vector
→
returntype
constant
addRat
type
type
vector
→
(
vector
→
returntype
)
constant
multRat
type
type
vector
→
(
vector
→
returntype
)
constant
diffRat
type
type
int
→
(
vector
→
returntype
)
constant
commRing
type
type
returntype
constant
orderedPartition
type
type
list
→
(
int
→
returntype
)
constant
holonomicRank
type
type
list
→
(
ideal
→
returntype
)
constant
DsingularLocus
type
type
ideal
→
returntype
constant
finKx
type
type
poly
→
returntype
constant
rightNFWeyl
type
type
int
→
(
def
→
returntype
)
constant
Dlocalization
type
type
list
→
(
poly
→
(
ideal
→
returntype
)
)
constant
orderFiltrationD1
type
type
poly
→
returntype
constant
kerLinMapD1
type
type
poly
→
(
poly
→
(
ideal
→
returntype
)
)
constant
leftDivisionKxD1
type
type
poly
→
(
poly
→
returntype
)
constant
WeylClosure1
type
type
poly
→
returntype
constant
WeylClosure
type
type
ideal
→
returntype
constant
polSol
type
type
list
→
(
ideal
→
returntype
)
constant
ex_polSol
type
type
returntype
constant
polSolFiniteRank
type
type
list
→
(
ideal
→
returntype
)
constant
twistedIdeal
type
type
ideal
→
(
intvec
→
(
poly
→
(
ideal
→
returntype
)
)
)
constant
ratSol
type
type
ideal
→
returntype
constant
bfctBound
type
type
list
→
(
poly
→
(
ideal
→
returntype
)
)
constant
annRatSyz
type
type
list
→
(
poly
→
(
poly
→
returntype
)
)