OrderedRingStore

feanor_math::ordered

Trait OrderedRingStore 

Source 
pub trait OrderedRingStore: RingStore
where
    Self::Type: OrderedRing,
{
    // Provided methods
    fn cmp(&self, lhs: &El<Self>, rhs: &El<Self>) -> Ordering { ... }
    fn abs_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> { ... }
    fn max<'a>(&self, fst: &'a El<Self>, snd: &'a El<Self>) -> &'a El<Self> { ... }
}
Expand description

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

Provided Methods§

Source

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

See OrderedRing::cmp()

Source

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

See OrderedRing::abs_cmp()

Source

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

See OrderedRing::is_leq()

Source

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

See OrderedRing::is_geq()

Source

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

See OrderedRing::is_lt()

Source

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

See OrderedRing::is_gt()

Source

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

See OrderedRing::is_neg()

Source

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

See OrderedRing::is_pos()

Source

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

See OrderedRing::abs()

Source

fn max<'a>(&self, fst: &'a El<Self>, snd: &'a El<Self>) -> &'a El<Self>

See OrderedRing::max().

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§