Category of fields
Cat::Field represents the category of fields.
Cat::Field is a factorial domain, an Euclidean
domain and a skew field. As a Euclidean domain, it has a commutative
_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.
associates— Test for associate elements
_divide— Exact division
divide— Division with remainder
divides— Test if division is exact
euclideanDegree— Return Euclidean degree
factor— Unique factorization
gcd— Greatest common divisor
irreducible— Test if element is irreducible
isUnit— Test if element is an unit
quo— Return Euclidean quotient
rem— Return Euclidean remainder
sqrfree— Square-free factorization
unitNormal— Unit normal form
unitNormalRep— Unit normal representation