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.


Category of integral domains with gcd

MuPAD® notebooks are not recommended. Use MATLAB® live scripts instead.

MATLAB live scripts support most MuPAD functionality, though there are some differences. For more information, see Convert MuPAD Notebooks to MATLAB Live Scripts.


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".


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?