INNER CODE UNIT · Rust
test_batch_inversion_allow_zeros
0xMiden/crypto · miden-crypto/src/lib.rs:233
fn test_batch_inversion_allow_zeros() {
let mut column = Vec::from([
Felt::new_unchecked(2),
ZERO,
Felt::new_unchecked(4),
Felt::new_unchecked(5),
]);
batch_inversion_allow_zeros(&mut column);
assert_eq!(column[0], Felt::new_unchecked(2).inverse());
assert_eq!(column[1], ZERO);
assert_eq!(column[2], Felt::new_unchecked(4).inverse());
assert_eq!(column[3], Felt::new_unchecked(5).inverse());
}
#[test]
fn test_batch_inversion_allow_zeros_spans_fixed_chunks() {
let mut v: Vec<Felt> = (1_u64..=2050).map(Felt::new_unchecked).collect();