Trait Field 

pub trait Field: Domain + EuclideanRing {
    // Provided method
    fn div(&self, lhs: &Self::Element, rhs: &Self::Element) -> Self::Element { ... }
}

Trait for rings that are fields, i.e. where every nonzero element has an inverse.

Note that fields must be commutative.

Provided Methods

fn div(&self, lhs: &Self::Element, rhs: &Self::Element) -> Self::Element

Computes the division lhs / rhs, where rhs != 0.

Panics if rhs = 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 Field for Real64Base

impl Field for Complex64Base

impl<I> Field for RationalFieldBase<I>

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

impl<Impl> Field for GaloisFieldBase<Impl>

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

impl<Impl, I> Field 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> Field for FractionFieldImplBase<R>

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

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

where R::Type: DivisibilityRing + Field,

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

where R::Type: DivisibilityRing,

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