rinvar.lib
constant
EquationsOfEmbedding
type
type
int
→
(
ideal
→
returntype
)
constant
ImageGroup
type
type
ideal
→
(
ideal
→
returntype
)
constant
HilbertWeights
type
type
intvec
→
(
ideal
→
returntype
)
constant
HilbertSeries
type
type
intvec
→
(
ideal
→
returntype
)
constant
ImageVariety
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
LinearizeAction
type
type
int
→
(
def
→
(
ideal
→
returntype
)
)
constant
LinearActionQ
type
type
int
→
(
def
→
returntype
)
constant
LinearCombinationQ
type
type
poly
→
(
ideal
→
returntype
)
constant
InvariantRing
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
InvariantQ
type
type
def
→
(
ideal
→
(
poly
→
returntype
)
)
constant
MinimalDecomposition
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
NullCone
type
type
def
→
(
ideal
→
returntype
)
constant
ReynoldsOperator
type
type
list
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
ReynoldsImage
type
type
poly
→
(
list
→
returntype
)
constant
SimplifyCoefficientMatrix
type
type
matrix
→
returntype
constant
SimplifyIdeal
type
type
list
→
(
ideal
→
returntype
)
constant
RingVarProduct
type
type
def
→
returntype