Struct DensePolynomialConfig 

pub struct DensePolynomialConfig<'a, S: SemiringConfig, const DEGREE_PLUS_ONE: usize> {
    pub cfg: &'a S,
}

Configuration of the polynomial semiring $S[X]$ over the (semi)ring configured by S, with [DynamicPolynomial] as its element.

Implements exactly the layer its coefficients provide: [SemiringConfig] over a semiring, additionally [RingConfig] over a ring. The polynomial ring is never a field, hence no [FieldConfig]; Euclidean division (which needs coefficient inversion), evaluation and other polynomial-specific operations are provided as inherent methods.

Checked operations delegate to the coefficient config’s checked operations, so overflow behavior follows the coefficients (e.g. Int coefficients can overflow, field coefficients cannot).

Fields

cfg: &'a S

Implementations

impl<'a, S: SemiringConfig, const DEGREE_PLUS_ONE: usize> DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

pub fn new_padded( &self, coeffs: impl AsRef<[S::Element]>, ) -> DensePolynomial<S::Element, DEGREE_PLUS_ONE>

Create a new polynomial with the given coefficients. If the input has fewer than N+1 coefficients, the remaining slots will be filled with zeros. If the input has more than N+1 coefficients, it will panic.

Trait Implementations

impl<'a, S: Clone + SemiringConfig, const DEGREE_PLUS_ONE: usize> Clone for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

fn clone(&self) -> DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, S: Debug + SemiringConfig, const DEGREE_PLUS_ONE: usize> Debug for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

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

Formats the value using the given formatter.

impl<'a, S: PartialEq + SemiringConfig, const DEGREE_PLUS_ONE: usize> PartialEq for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

fn eq(&self, other: &DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, S: RingConfig, const DEGREE_PLUS_ONE: usize> RingConfig for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

fn neg(&self, x: &Self::Element) -> Self::Element

-x

fn checked_neg(&self, x: &Self::Element) -> Option<Self::Element>

-x;

fn neg_assign(&self, x: &mut Self::Element)

x = -x;

impl<'a, S: SemiringConfig, const DEGREE_PLUS_ONE: usize> SemiringConfig for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

fn is_zero(&self, value: &Self::Element) -> bool

fn zero(&self) -> Self::Element

fn one(&self) -> Self::Element

fn add(&self, x: &Self::Element, y: &Self::Element) -> Self::Element

x + y

fn sub(&self, x: &Self::Element, y: &Self::Element) -> Self::Element

x - y

fn mul(&self, _x: &Self::Element, _y: &Self::Element) -> Self::Element

x * y

fn pow_u32(&self, x: &Self::Element, y: u32) -> Self::Element

x ** y

fn checked_add( &self, x: &Self::Element, y: &Self::Element, ) -> Option<Self::Element>

x + y

fn checked_sub( &self, x: &Self::Element, y: &Self::Element, ) -> Option<Self::Element>

x - y

fn checked_mul( &self, _x: &Self::Element, _y: &Self::Element, ) -> Option<Self::Element>

x * y

fn checked_pow_u32(&self, x: &Self::Element, y: u32) -> Option<Self::Element>

x ** y

fn sum<I: Iterator<Item = Self::Element>>(&self, iter: I) -> Self::Element

fn sum_refs<'b, I: Iterator<Item = &'b Self::Element> + 'b>( &self, iter: I, ) -> Self::Element

fn product<I: Iterator<Item = Self::Element>>(&self, iter: I) -> Self::Element

fn product_refs<'b, I: Iterator<Item = &'b Self::Element>>( &self, iter: I, ) -> Self::Element

fn add_assign(&self, x: &mut Self::Element, y: &Self::Element)

x += y

fn sub_assign(&self, x: &mut Self::Element, y: &Self::Element)

x -= y

fn mul_assign(&self, x: &mut Self::Element, y: &Self::Element)

x *= y

fn pow_u32_assign(&self, x: &mut Self::Element, y: u32)

x **= y

impl<'a, S: SemiringConfig, const DEGREE_PLUS_ONE: usize> SetConfig for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

type Element = DensePolynomial<<S as SetConfig>::Element, DEGREE_PLUS_ONE>

impl<'a, S: Copy + SemiringConfig, const DEGREE_PLUS_ONE: usize> Copy for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

impl<'a, S: Eq + SemiringConfig, const DEGREE_PLUS_ONE: usize> Eq for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>

impl<'a, S: SemiringConfig, const DEGREE_PLUS_ONE: usize> StructuralPartialEq for DensePolynomialConfig<'a, S, DEGREE_PLUS_ONE>