Trait ExtensionAlgebra 

pub trait ExtensionAlgebra<F, const D: usize, Shape>: Algebra<F>
where
    F: Field,
    Shape: ExtensionShape,
{
    // Required method
    fn ext_mul(a: &[Self; D], b: &[Self; D], res: &mut [Self; D]);

    // Provided methods
    fn ext_square(a: &[Self; D], res: &mut [Self; D]) { ... }
    fn ext_add(a: &[Self; D], b: &[Self; D]) -> [Self; D] { ... }
    fn ext_sub(a: &[Self; D], b: &[Self; D]) -> [Self; D] { ... }
    fn ext_base_mul(lhs: [Self; D], rhs: Self) -> [Self; D] { ... }
}

Algebra over F that supports degree-D extension arithmetic with a given reducer Shape.

Required Methods

fn ext_mul(a: &[Self; D], b: &[Self; D], res: &mut [Self; D])

Multiplication in the algebra extension ring.

Provided Methods

fn ext_square(a: &[Self; D], res: &mut [Self; D])

Squaring in the algebra extension ring.

Override when a dedicated symmetry-exploiting kernel beats a general multiply.

fn ext_add(a: &[Self; D], b: &[Self; D]) -> [Self; D]

Coefficient-wise addition.

fn ext_sub(a: &[Self; D], b: &[Self; D]) -> [Self; D]

Coefficient-wise subtraction.

fn ext_base_mul(lhs: [Self; D], rhs: Self) -> [Self; D]

Multiply an extension element by a base-field scalar.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl ExtensionAlgebra<Goldilocks, 2, Binomial<Goldilocks>> for Goldilocks

fn ext_mul(a: &[Goldilocks; 2], b: &[Goldilocks; 2], res: &mut [Goldilocks; 2])

impl ExtensionAlgebra<Goldilocks, 3, CubicTrinomial> for Goldilocks

fn ext_mul(a: &[Goldilocks; 3], b: &[Goldilocks; 3], res: &mut [Goldilocks; 3])

fn ext_square(a: &[Goldilocks; 3], res: &mut [Goldilocks; 3])

impl ExtensionAlgebra<Goldilocks, 5, Binomial<Goldilocks>> for Goldilocks

fn ext_mul(a: &[Goldilocks; 5], b: &[Goldilocks; 5], res: &mut [Goldilocks; 5])

impl<FP> ExtensionAlgebra<MontyField31<FP>, 5, QuinticTrinomial> for MontyField31<FP>

where FP: TrinomialQuinticData + FieldParameters,

fn ext_mul( a: &[MontyField31<FP>; 5], b: &[MontyField31<FP>; 5], res: &mut [MontyField31<FP>; 5], )

fn ext_add( a: &[MontyField31<FP>; 5], b: &[MontyField31<FP>; 5], ) -> [MontyField31<FP>; 5]

fn ext_sub( a: &[MontyField31<FP>; 5], b: &[MontyField31<FP>; 5], ) -> [MontyField31<FP>; 5]

fn ext_base_mul( lhs: [MontyField31<FP>; 5], rhs: MontyField31<FP>, ) -> [MontyField31<FP>; 5]

impl<const WIDTH: usize, FP> ExtensionAlgebra<MontyField31<FP>, WIDTH, Binomial<MontyField31<FP>>> for MontyField31<FP>

where FP: BinomialExtensionData<WIDTH> + FieldParameters,

fn ext_mul( a: &[MontyField31<FP>; WIDTH], b: &[MontyField31<FP>; WIDTH], res: &mut [MontyField31<FP>; WIDTH], )

fn ext_add( a: &[MontyField31<FP>; WIDTH], b: &[MontyField31<FP>; WIDTH], ) -> [MontyField31<FP>; WIDTH]

fn ext_sub( a: &[MontyField31<FP>; WIDTH], b: &[MontyField31<FP>; WIDTH], ) -> [MontyField31<FP>; WIDTH]

fn ext_base_mul( lhs: [MontyField31<FP>; WIDTH], rhs: MontyField31<FP>, ) -> [MontyField31<FP>; WIDTH]

Implementors

impl ExtensionAlgebra<Felt, 2, Binomial<Felt>> for Felt

impl ExtensionAlgebra<Felt, 5, Binomial<Felt>> for Felt

impl<F, const D: usize> ExtensionAlgebra<ExtField<F, 2, Binomial<F>>, D, Binomial<ExtField<F, 2, Binomial<F>>>> for ExtField<F, 2, Binomial<F>>

where F: HasComplexBinomialExtension<D>,

impl<F> ExtensionAlgebra<F, 2, Binomial<F>> for F

where F: ComplexExtendable,