Trait feanor_math::ordered::OrderedRingStore

pub trait OrderedRingStore: RingStore
where
    Self::Type: OrderedRing,
{
    // Provided methods
    fn cmp(&self, lhs: &El<Self>, rhs: &El<Self>) -> Ordering { ... }
    fn is_leq(&self, lhs: &El<Self>, rhs: &El<Self>) -> bool { ... }
    fn is_geq(&self, lhs: &El<Self>, rhs: &El<Self>) -> bool { ... }
    fn is_lt(&self, lhs: &El<Self>, rhs: &El<Self>) -> bool { ... }
    fn is_gt(&self, lhs: &El<Self>, rhs: &El<Self>) -> bool { ... }
    fn is_neg(&self, value: &El<Self>) -> bool { ... }
    fn is_pos(&self, value: &El<Self>) -> bool { ... }
    fn abs(&self, value: El<Self>) -> El<Self> { ... }
}

Trait for RingStores that store OrderedRings. Mainly used to provide a convenient interface to the OrderedRing-functions.

Provided Methods

fn cmp(&self, lhs: &El<Self>, rhs: &El<Self>) -> Ordering

See OrderedRing::cmp()

fn is_leq(&self, lhs: &El<Self>, rhs: &El<Self>) -> bool

See OrderedRing::is_leq()

fn is_geq(&self, lhs: &El<Self>, rhs: &El<Self>) -> bool

See OrderedRing::is_geq()

fn is_lt(&self, lhs: &El<Self>, rhs: &El<Self>) -> bool

See OrderedRing::is_lt()

fn is_gt(&self, lhs: &El<Self>, rhs: &El<Self>) -> bool

See OrderedRing::is_gt()

fn is_neg(&self, value: &El<Self>) -> bool

See OrderedRing::is_neg()

fn is_pos(&self, value: &El<Self>) -> bool

See OrderedRing::is_pos()

fn abs(&self, value: El<Self>) -> El<Self>

See OrderedRing::abs()

Object Safety

This trait is not object safe.

Implementors

impl<R> OrderedRingStore for R

where R: RingStore + ?Sized, R::Type: OrderedRing,