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::FactorialDomain

Category of factorial domains

Description

Cat::FactorialDomain represents the category of factorial domains (i.e., unique factorization domains).

A Cat::FactorialDomain is an integral domain with gcd where an unique factorization can be computed.

The factorization methods are named "factor" and "sqrfree" and must return elements of the domain Factored over this domain.

Categories

Cat::GcdDomain

Methods

expand all

Basic Methods

factor(x)

See Factored for details about the representation of the factorization.

Mathematical Methods

irreducible(x)

sqrfree(x)

See Factored for details about the representation of the factorization.

The default implementation provided here uses the method "factor" and therefore may be very inefficient.

Was this topic helpful?