1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
--- status: Draft
--- author(s): DRG, MES
--- notes:
undocumented {
(degreeLength, Module),
(degreeLength, Ideal),
(degreeLength, InexactField),
(degreeLength,PolynomialRing),
(degreeLength,QuotientRing),
(degreeLength,FractionField)
}
doc ///
Key
degreeLength
(degreeLength, Ring)
(degreeLength, Monoid)
Headline
the length of the degree vector
Usage
degreeLength A
Inputs
A:{Ring,Monoid}
Outputs
:ZZ
the length of a multidegree vector used as a degree of elements of @TT "A"@.
Description
Text
Example
degreeLength ZZ
degreeLength(ZZ[])
degreeLength(ZZ[x])
degreeLength(ZZ[x, Degrees => {{1,2,3}}])
degreeLength(ZZ[x,y,z, DegreeRank => 3])
degreeLength(GF 9)
SeeAlso
degree
degreesRing
degreesMonoid
[monoid, DegreeRank]
///
|
