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
|
document {
Key => length,
Headline => "length of an object"
}
document {
Key => (length, Dictionary),
Headline => "length of a dictionary",
Usage => "n = length d",
Inputs => { "d" },
Outputs => { "n" => { "the number of entries in ", TT "d" } }
}
document {
Key => (length, VisibleList),
Headline => "length of a visible list",
Usage => "n = length x",
Inputs => { "x" },
Outputs => { "n" => { "the number of entries in ", TT "x" } }
}
document {
Key => (length, GradedModule),
Headline => "length of a graded module",
"The length of a graded module is the difference between the largest and
smallest indices of occupied spots. Chain complexes are graded modules,
so this function applies to them, too.",
EXAMPLE {
"R = QQ[x..z];",
"C = res coker vars R",
"length C"
}
}
|
