Struct RotationIdeal 

pub struct RotationIdeal<E: SetElement, 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<E: SetElement, const W: usize> RotationIdeal<E, W>

pub fn new(generating_root: E) -> Self

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

impl<E: SetElement, const W: usize> RotationIdeal<E, W>

pub fn project<C, R>( field_cfg: &C, ideal_over_ring: &RotationIdeal<R, W>, ) -> Self

where C: FieldConfig + ProjectElementWithConfig<R> + SemiringConfig<Element = E>, R: SetElement,

Project a rotation ideal over the ring R into the field configured by field_cfg, by projecting the generating root.

Trait Implementations

impl<E: Clone + SetElement, const W: usize> Clone for RotationIdeal<E, W>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<E: Debug + SetElement, const W: usize> Debug for RotationIdeal<E, W>

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

Formats the value using the given formatter.

impl<E: SetElement, const W: usize> Display for RotationIdeal<E, W>

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

Formats the value using the given formatter.

impl<E: SetElement, const W: usize> FromRef<RotationIdeal<E, W>> for RotationIdeal<E, W>

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

impl<E: Copy + SetElement, const W: usize> Copy for RotationIdeal<E, W>

impl<E: SetElement, const W: usize> Ideal for RotationIdeal<E, W>