fromOrdinal(i,F)
This function allows one to access the labels of the basis elements of a labeled free module. For instance, if $F$ is a labeled free module of $r$, then its basis is labeled by a list $L$. This function takes an integer $i$ between $0$ and outputs the $i$'th element of $L$.
This function is particularly useful when defining maps between labeled free modules.
|
|
|
|
|
|
|
The object fromOrdinal is a method function.