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.
Cat::GcdDomain is an integral domain where
the greatest common divisor of two elements can be computed by the
gcd— Greatest common divisor
The method must satisfy the following conditions:
z divides both
z must divide
if a domain has the axiom
be equal to
lcm— Least common multiple