Documentation

This is machine translation

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

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

Cat::GcdDomain

Category of integral domains with gcd

Description

Cat::GcdDomain represents the category of integral domains with a gcd.

A Cat::GcdDomain is an integral domain where the greatest common divisor of two elements can be computed by the method "gcd".

Methods

expand all

Basic Methods

gcd(x, …)

The method must satisfy the following conditions:

  1. x and y must divide dom::gcd(x,y),

  2. if z divides both x and y, then z must divide dom::gcd(x,y),

  3. if a domain has the axiom Ax::canonicalUnitNormal then dom::gcd(x,y) must be equal to dom::unitNormal(dom::gcd(x,y)).

Remember that x divides y if _divide(x,y) does not return FAIL.

Mathematical Methods

lcm(x, …)

Was this topic helpful?