Trait feanor_math::integer::IntegerRingStore

pub trait IntegerRingStore: RingStore
where
    Self::Type: IntegerRing,
{
    // Provided methods
    fn to_float_approx(&self, value: &El<Self>) -> f64 { ... }
    fn from_float_approx(&self, value: f64) -> Option<El<Self>> { ... }
    fn abs_is_bit_set(&self, value: &El<Self>, i: usize) -> bool { ... }
    fn abs_highest_set_bit(&self, value: &El<Self>) -> Option<usize> { ... }
    fn abs_lowest_set_bit(&self, value: &El<Self>) -> Option<usize> { ... }
    fn euclidean_div_pow_2(&self, value: &mut El<Self>, power: usize) { ... }
    fn mul_pow_2(&self, value: &mut El<Self>, power: usize) { ... }
    fn power_of_two(&self, power: usize) -> El<Self> { ... }
    fn rounded_div(&self, lhs: El<Self>, rhs: &El<Self>) -> El<Self> { ... }
    fn get_uniformly_random<G: FnMut() -> u64>(
        &self,
        bound_exclusive: &El<Self>,
        rng: G,
    ) -> El<Self> { ... }
    fn abs_log2_ceil(&self, value: &El<Self>) -> Option<usize> { ... }
    fn is_even(&self, value: &El<Self>) -> bool { ... }
    fn is_odd(&self, value: &El<Self>) -> bool { ... }
    fn half_exact(&self, value: El<Self>) -> El<Self> { ... }
}

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

Provided Methods

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

See IntegerRing::to_float_approx()

fn from_float_approx(&self, value: f64) -> Option<El<Self>>

See IntegerRing::from_float_approx()

fn abs_is_bit_set(&self, value: &El<Self>, i: usize) -> bool

See IntegerRing::abs_is_bit_set()

fn abs_highest_set_bit(&self, value: &El<Self>) -> Option<usize>

See IntegerRing::abs_highest_set_bit()

fn abs_lowest_set_bit(&self, value: &El<Self>) -> Option<usize>

See IntegerRing::abs_lowest_set_bit()

fn euclidean_div_pow_2(&self, value: &mut El<Self>, power: usize)

See IntegerRing::euclidean_div_pow_2()

fn mul_pow_2(&self, value: &mut El<Self>, power: usize)

See IntegerRing::mul_pow_2()

fn power_of_two(&self, power: usize) -> El<Self>

See IntegerRing::power_of_two()

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

See IntegerRing::rounded_div()

fn get_uniformly_random<G: FnMut() -> u64>( &self, bound_exclusive: &El<Self>, rng: G, ) -> El<Self>

fn abs_log2_ceil(&self, value: &El<Self>) -> Option<usize>

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

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

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

Object Safety

This trait is not object safe.

Implementors

impl<R> IntegerRingStore for R

where R: RingStore, R::Type: IntegerRing,