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", so this trait is not object safe.

Implementors

impl Domain for Real64Base

impl Domain for Complex64Base

impl Domain for MPZBase

Available on crate feature mpir only.

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> Domain for GaloisFieldBase<Impl>

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

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<R> Domain for FractionFieldImplBase<R>

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

impl<R> Domain for SparsePolyRingBase<R>

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

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

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

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

where R::Type: DivisibilityRing,

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

where R::Type: DivisibilityRing + Domain,

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

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