Trait Field 

pub trait Field: Ring {
    // Required method
    fn inv(&self) -> Self;
}

An instance of a mathematical Field.

This inherits from Ring, and requires the existence of multiplicative inverses as well.

Required Methods

fn inv(&self) -> Self

The multiplicative inverse of an element.

For Additive::zero, this should return Additive::zero.

For any other element x, this should return an element y such that x * y is equal to Ring::one.

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 F