Trait Field 

pub trait Field: EucRing + FieldOps
where
    for<'a> &'a Self: FieldOps<Self>,
{ }

A field: a commutative ring where every x ≠ 0 has a multiplicative inverse x⁻¹.

Every field is in particular a EucRing (with trivial remainder).

See: https://en.wikipedia.org/wiki/Field_(mathematics)

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl Field for FF2

impl<T> Field for Ratio<T>

where T: EucRing, for<'x> &'x T: EucRingOps<T>,

impl<const p: i32> Field for FF<p>