Valuation -- The type of all valuations

Description

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:

$v(ab)=v(a)+v(b)$,
$v(a+b)\geq\min\{v(a),v(b)\}$, and
$v(a)=\infty$ iff $a=0$.

This package provides common valuations and user-defined valuations.

Methods that use an object of class Valuation:

net(Valuation) (missing documentation)
valM(Ring,Valuation) -- see valM -- Construct a valuation from a (quasi-)valuation
Valuation Constant (missing documentation)
Valuation Number (missing documentation)
Valuation RingElement (missing documentation)

For the programmer

The object Valuation is a type, with ancestor classes HashTable < Thing.

Valuation -- The type of all valuations

Description

See also

Methods that use an object of class Valuation:

For the programmer