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 — Unique factorization

factor(x)

See Factored for details about the representation of the factorization.

Mathematical Methods

sqrfree — Square-free factorization

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?