Trait abstalg::IntegralDomain

pub trait IntegralDomain: UnitaryRing { }

An integral domain is a commutative unitary ring in which the product of non-zero elements are non-zero. This trait not add any new operations, just marks the properties of the ring. A typical examples are the integers, and the ring of polynomials with integer coefficients, which is not an Euclidean domain.

Implementors

impl IntegralDomain for Integers

impl<E> IntegralDomain for ApproxFloats<E> where
    E: Float + Debug + Zero + One, 

impl<E> IntegralDomain for CheckedInts<E> where
    E: PrimInt + Signed + Debug + From<i8>, 

impl<R> IntegralDomain for Polynomials<R> where
    R: IntegralDomain, 

impl<R: EuclideanDomain> IntegralDomain for QuotientField<R>

Loading content...