Valuation is a type that contains the data needed to evaluate a valuation. A valuation is a function $v:R\rightarrow G\cup\{\infty\}$ where $R$ is a ring and $G$ is a linearly ordered group with the following properties:
This package provides common valuations and user-defined valuations.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Valuations.m2:799:0.