Struct CompositionScalarAdapter

pub struct CompositionScalarAdapter<P, Composition> { /* private fields */ }

An adapter that constructs a CompositionPolyOS for a field from a CompositionPolyOS for a packing of that field.

This is not intended for use in performance-critical code sections.

Implementations

impl<P, Composition> CompositionScalarAdapter<P, Composition>

where P: PackedField, Composition: CompositionPolyOS<P>,

pub fn new(composition: Composition) -> Self

Trait Implementations

impl<P: Clone, Composition: Clone> Clone for CompositionScalarAdapter<P, Composition>

fn clone(&self) -> CompositionScalarAdapter<P, Composition>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F, P, Composition> CompositionPolyOS<F> for CompositionScalarAdapter<P, Composition>

where F: Field, P: PackedField<Scalar = F>, Composition: CompositionPolyOS<P>,

fn n_vars(&self) -> usize

The number of variables.

fn degree(&self) -> usize

Total degree of the polynomial.

fn expression(&self) -> ArithExpr<F>

Returns the arithmetic expression representing the polynomial.

fn evaluate(&self, query: &[F]) -> Result<F, Error>

Evaluates the polynomial using packed values, where each packed value may contain multiple scalar values. The evaluation follows SIMD semantics, meaning that operations are performed element-wise across corresponding scalar values in the packed values.

fn binary_tower_level(&self) -> usize

Returns the maximum binary tower level of all constants in the arithmetic expression.

fn batch_evaluate( &self, batch_query: &[&[P]], evals: &mut [P], ) -> Result<(), Error>

Batch evaluation that admits non-strided argument layout. batch_query is a slice of slice references of equal length, which furthermore should equal the length of evals parameter.

impl<P: Debug, Composition: Debug> Debug for CompositionScalarAdapter<P, Composition>

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

Formats the value using the given formatter.