Category of fields


Cat::Field represents the category of fields.

A Cat::Field is a factorial domain, an Euclidean domain and a skew field. As a Euclidean domain, it has a commutative multiplication * (_mult) and as a skew field, the multiplication is invertible.

Many of the methods defined for factorial and Euclidean domains are trivial for a field.

Was this topic helpful?