ainvar.lib
constant
sortier
type
type
def
→
returntype
constant
derivate
type
type
def
→
(
matrix
→
returntype
)
constant
actionIsProper
type
type
matrix
→
returntype
constant
reduction
type
type
list
→
(
ideal
→
(
poly
→
returntype
)
)
constant
completeReduction
type
type
list
→
(
ideal
→
(
poly
→
returntype
)
)
constant
completeReductionnew
type
type
list
→
(
ideal
→
(
poly
→
returntype
)
)
constant
localInvar
type
type
poly
→
(
poly
→
(
poly
→
(
matrix
→
returntype
)
)
)
constant
furtherInvar
type
type
list
→
(
poly
→
(
ideal
→
(
ideal
→
(
matrix
→
returntype
)
)
)
)
constant
invariantRing
type
type
list
→
(
int
→
(
poly
→
(
poly
→
(
matrix
→
returntype
)
)
)
)