binius_field::arithmetic_traits

Trait TaggedSquare

source
pub trait TaggedSquare<Strategy> {
    // Required method
    fn square(self) -> Self;
}
Expand description

Square operation that is parameterized with some some strategy.

Required Methods§

source

fn square(self) -> Self

Object Safety§

This trait is not object safe.

Implementors§

source§

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

source§

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

source§

impl<PT> TaggedSquare<PackedStrategy> for PT
where PT: PackedTowerField, PT::PackedDirectSubfield: MulAlpha, PT::Underlier: UnderlierWithBitConstants,

source§

impl<PT: PackedField> TaggedSquare<PairwiseStrategy> for PT
where PT::Scalar: Square,

source§

impl<T> TaggedSquare<ReuseMultiplyStrategy> for T
where T: Mul<Self, Output = Self> + Copy,