next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
length -- length
Ways to use
length
:
length(ChainComplex)
-- length of a chain complex or graded module
length(Dictionary)
-- length of a dictionary
length(GradedModule)
-- length of a graded module
length(String)
-- length of a string
length(VisibleList)
-- length of a visible list