Trait Domain 

pub trait Domain: DivisibilityRing { }

Trait for rings that are integral, i.e. have no zero divisors.

A zero divisor is a nonzero element a such that there is a nonzero element b with ab = 0.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Domain for Complex64Base

impl Domain for MPZBase

Available on crate feature mpir only.

impl Domain for Real64Base

impl<'a, R> Domain for IntegersWithLocalZnQuotient<'a, R>

where R: Sized + SelfIso + ZnRing + FromModulusCreateableZnRing + Clone,

impl<A: Allocator + Clone> Domain for RustBigintRingBase<A>

impl<I> Domain for RationalFieldBase<I>

where I: RingStore, I::Type: IntegerRing,

impl<Impl, I> Domain for NumberFieldBase<Impl, I>

where Impl: RingStore, Impl::Type: Field + FreeAlgebra, <Impl::Type as RingExtension>::BaseRing: RingStore<Type = RationalFieldBase<I>>, I: RingStore, I::Type: IntegerRing,

impl<Impl> Domain for GaloisFieldBase<Impl>

where Impl: RingStore, Impl::Type: Field + FreeAlgebra + FiniteRing, <<Impl::Type as RingExtension>::BaseRing as RingStore>::Type: ZnRing + Field,

impl<R, A: Allocator + Clone, C: ConvolutionAlgorithm<R::Type>> Domain for DensePolyRingBase<R, A, C>

where R: RingStore, R::Type: Domain,

impl<R: DivisibilityRingStore> Domain for AsLocalPIRBase<R>

where R::Type: DivisibilityRing + Domain,

impl<R: RingStore> Domain for AsFieldBase<R>

where R::Type: DivisibilityRing,

impl<R> Domain for FractionFieldImplBase<R>

where R: RingStore, R::Type: Domain,

impl<R> Domain for SparsePolyRingBase<R>

where R: RingStore, R::Type: Domain,

impl<T: PrimitiveInt> Domain for StaticRingBase<T>

impl<const N: u64> Domain for ZnBase<N, true>