For an introduction see Ordered modules. Every ordered $\QQ^n$ vector belongs to an instance of the type OrderedQQn. The ordered $\QQ^n$ vectors are most easily accessed though the original module.
|
|
Any pair of vectors of a module of type OrderedQQn may be compared with <, >, and ==.
|
|
|
The image of $0$ under a valuation is $\infty$, so it may be necessary to test whether an element of an ordered module $\QQ^n$ is equal to the valuation of $0$.
|
|
|
The object OrderedQQVector is a type, with ancestor classes Vector < BasicList < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Valuations.m2:1097:0.