Trait OrderedField 

pub trait OrderedField:
    Clone
    + PartialEq
    + Eq
    + Hash
    + Debug {
    // Required methods
    fn zero() -> Self;
    fn one() -> Self;
    fn from_i64(n: i64) -> Self;
    fn is_zero(&self) -> bool;
    fn add(&self, o: &Self) -> Self;
    fn neg(&self) -> Self;
    fn mul(&self, o: &Self) -> Self;
    fn recip(&self) -> Option<Self>;
    fn signum(&self) -> i32;

    // Provided method
    fn sub(&self, o: &Self) -> Self { ... }
}

A field with exact arithmetic and a decided order, read from the sign of an element.

Required Methods

fn zero() -> Self

fn one() -> Self

fn from_i64(n: i64) -> Self

fn is_zero(&self) -> bool

fn add(&self, o: &Self) -> Self

fn neg(&self) -> Self

fn mul(&self, o: &Self) -> Self

fn recip(&self) -> Option<Self>

None for zero.

fn signum(&self) -> i32

−1, 0 or 1.

Provided Methods

fn sub(&self, o: &Self) -> Self

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 OrderedField for Multi

impl OrderedField for Algebraic