Struct BatchInversion

pub struct BatchInversion<F: Field> { /* private fields */ }

Reusable batch inversion context that owns its scratch buffers.

This struct manages the memory needed for batch field inversions, allowing efficient reuse across multiple inversion operations of the same size.

Example

use binius_field::{BinaryField128bGhash, Field};
use binius_math::batch_invert::BatchInversion;

let mut inverter = BatchInversion::<BinaryField128bGhash>::new(8);
let mut elements = [BinaryField128bGhash::ONE; 8];
inverter.invert_or_zero(&mut elements);

Implementations

impl<F: Field> BatchInversion<F>

pub fn new(n: usize) -> Self

Creates a new batch inversion context for slices of size n.

Allocates the necessary scratch space:

• scratchpad: Storage for intermediate products during recursion
• is_zero: Tracking vector for zero elements

Parameters

• n: The size of slices this instance will handle

Panics

Panics if n is 0.

pub fn invert_nonzero(&mut self, elements: &mut [F])

Inverts non-zero elements in-place.

Parameters

• elements: Mutable slice to invert in-place

Preconditions

All elements must be non-zero. Behavior is undefined if any element is zero.

Panics

Panics if elements.len() != n (the size specified at construction).

pub fn invert_or_zero(&mut self, elements: &mut [F])

Inverts elements in-place, handling zeros gracefully.

Zero elements remain zero after inversion, while non-zero elements are replaced with their multiplicative inverses.

Parameters

• elements: Mutable slice to invert in-place

Panics

Panics if elements.len() != n (the size specified at construction).