Struct RotationIdeal 

pub struct RotationIdeal<R: Semiring, const W: usize> { /* private fields */ }

An ideal of R[X] generated by X^W - generating_root.

• W = 1: the ideal (X - a), checked via point evaluation at a.
• W > 1: the ideal (X^W - a), checked via polynomial reduction modulo X^W - a.

The compile-time W parameter allows the membership check to specialize: W = 1 avoids allocating a remainder buffer and uses Horner evaluation, while W > 1 uses a chunk-based reduction.

Implementations

impl<R: Semiring, const W: usize> RotationIdeal<R, W>

pub fn new(generating_root: R) -> Self

Creates a new ideal of R[X] generated by X^W - generating_root.

impl<F: PrimeField, const W: usize> RotationIdeal<F, W>

pub fn from_with_cfg<R>( ideal_over_ring: &RotationIdeal<R, W>, field_cfg: &F::Config, ) -> Self

where R: Semiring, F: for<'a> FromWithConfig<&'a R>,

Trait Implementations

impl<R: Clone + Semiring, const W: usize> Clone for RotationIdeal<R, W>

fn clone(&self) -> RotationIdeal<R, W>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<R: Debug + Semiring, const W: usize> Debug for RotationIdeal<R, W>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<R: Semiring, const W: usize> FromRef<RotationIdeal<R, W>> for RotationIdeal<R, W>

fn from_ref(ideal: &RotationIdeal<R, W>) -> Self

impl<R: Copy + Semiring, const W: usize> Copy for RotationIdeal<R, W>

impl<R: Semiring, const W: usize> Ideal for RotationIdeal<R, W>