binius_field::arithmetic_traits

Trait TaggedMul

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

Multiplication that is parameterized with some some strategy.

Required Methods§

source

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

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<P> TaggedMul<HybridRecursiveStrategy> for P
where P: PackedTowerField, P::Scalar: TowerExtensionField<DirectSubfield = P::DirectSubfield>, P::PackedDirectSubfield: MulAlpha, P::DirectSubfield: MulAlpha,

source§

impl<P> TaggedMul<PairwiseRecursiveStrategy> for P
where P: PackedField, P::Scalar: TowerExtensionField<DirectSubfield: MulAlpha>,

source§

impl<PT> TaggedMul<PackedStrategy> for PT
where PT: PackedTowerField, PT::Underlier: UnderlierWithBitConstants, PT::DirectSubfield: TowerConstants<PT::Underlier>,

source§

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