Documentation

This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the page.

Cat::Field

Category of fields

Description

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.

Methods

expand all

Mathematical Methods

associates(x, y)

_divide(x, y)

divide(x, y)

divides(x, y)

euclideanDegree(x)

factor(x)

gcd(x, …)

irreducible(x)

isUnit(x)

quo(x, y)

rem(x, y)

sqrfree(x)

unitNormal(x)

unitNormalRep(x)

Was this topic helpful?