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

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