Trait binius_field::arithmetic_traits::TaggedMul

pub trait TaggedMul<Strategy> {
    // Required method
    fn mul(self, rhs: Self) -> Self;
}

Multiplication that is parameterized with some some strategy.

Required Methods

fn mul(self, rhs: Self) -> Self

Object Safety

This trait is not object safe.

Implementors

impl<P> TaggedMul<HybridRecursiveStrategy> for P

where P: PackedTowerField, P::Scalar: TowerExtensionField<DirectSubfield = P::DirectSubfield>, P::PackedDirectSubfield: MulAlpha, P::DirectSubfield: MulAlpha,

impl<P> TaggedMul<PairwiseRecursiveStrategy> for P

where P: PackedField, P::Scalar: TowerExtensionField<DirectSubfield: MulAlpha>,

impl<PT> TaggedMul<PackedStrategy> for PT

where PT: PackedTowerField, PT::Underlier: UnderlierWithBitConstants, PT::DirectSubfield: TowerConstants<PT::Underlier>,

impl<PT: PackedField> TaggedMul<PairwiseStrategy> for PT