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

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> 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,