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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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