binius_field::arithmetic_traits

Trait TaggedInvertOrZero

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

Invert or zero operation that is parameterized with some some strategy.

Required Methods§

source

fn invert_or_zero(self) -> Self

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<P> TaggedInvertOrZero<PairwiseRecursiveStrategy> for P
where P: PackedField, P::Scalar: TowerExtensionField<DirectSubfield: MulAlpha + InvertOrZero>,

source§

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

source§

impl<PT: PackedField> TaggedInvertOrZero<PairwiseStrategy> for PT
where PT::Scalar: InvertOrZero,