Module un_algebra::field::field

Algebraic field traits.

An algebraic field is a commutative ring (with identity) R, where each invertible field element f has a unique multiplicative inverse f^-1. The inverse operation is called invert.

Axioms

∀g ∈ R
 
Inverse: ∃g^-1 ∈ R: g × g^-1 = g^-1 × g = 1.

References

See references for a formal definition of a field.

Traits

Field	An algebraic field.
NumField	A "numeric" algebraic field.