qhmoduli.lib
constant
ModEqn
type
type
list
→
(
poly
→
returntype
)
constant
UpperMonomials
type
type
list
→
(
poly
→
returntype
)
constant
ArnoldAction
type
type
list
→
(
poly
→
returntype
)
constant
StabOrder
type
type
list
→
returntype
constant
StabEqn
type
type
poly
→
returntype
constant
StabEqnId
type
type
intvec
→
(
ideal
→
returntype
)
constant
ArnoldFormMain
type
type
int
→
(
int
→
(
ideal
→
(
poly
→
(
def
→
(
poly
→
returntype
)
)
)
)
)
constant
MonosAndTerms
type
type
int
→
(
def
→
(
poly
→
returntype
)
)
constant
SelectMonos
type
type
int
→
(
intvec
→
(
def
→
returntype
)
)
constant
Expand
type
type
list
→
(
int
→
(
intvec
→
(
ideal
→
(
def
→
(
def
→
returntype
)
)
)
)
)
constant
PolyProduct
type
type
int
→
(
intvec
→
(
ideal
→
(
poly
→
(
poly
→
returntype
)
)
)
)
constant
PolyPower1
type
type
int
→
(
int
→
(
intvec
→
(
ideal
→
(
int
→
(
poly
→
(
int
→
returntype
)
)
)
)
)
)
constant
RingVarsToList
type
type
list
→
returntype
constant
APSubstitution
type
type
int
→
(
int
→
(
int
→
(
intvec
→
(
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
)
)
)
)
constant
StabVar
type
type
intvec
→
returntype
constant
StabVarComb
type
type
intvec
→
returntype
constant
AllCombinations
type
type
list
→
(
list
→
returntype
)
constant
AllSingleCombinations
type
type
list
→
(
int
→
returntype
)
constant
AllCombinationsAux
type
type
list
→
(
list
→
returntype
)
constant
Partitions
type
type
list
→
(
int
→
returntype
)
constant
NumFactor
type
type
int
→
(
int
→
returntype
)
constant
Table
type
type
int
→
(
int
→
(
string
→
(
string
→
returntype
)
)
)
constant
FlattenQHM
type
type
list
→
returntype
constant
IntersectionQHM
type
type
list
→
(
list
→
returntype
)
constant
FirstEntryQHM
type
type
def
→
(
def
→
returntype
)
constant
PSum
type
type
def
→
returntype
constant
Max
type
type
def
→
returntype
constant
Min
type
type
def
→
returntype