binius_field/arch/portable/
packed_16.rs

1// Copyright 2024-2025 Irreducible Inc.
2
3use super::{
4	packed::{impl_broadcast, impl_ops_for_zero_height, PackedPrimitiveType},
5	packed_arithmetic::{alphas, impl_tower_constants},
6};
7use crate::{
8	arch::{PackedStrategy, PairwiseRecursiveStrategy, PairwiseStrategy, PairwiseTableStrategy},
9	arithmetic_traits::{
10		impl_invert_with, impl_mul_alpha_with, impl_mul_with, impl_square_with,
11		impl_transformation_with_strategy,
12	},
13	BinaryField16b, BinaryField1b, BinaryField2b, BinaryField4b, BinaryField8b,
14};
15
16// Define 16 bit packed field types
17pub type PackedBinaryField16x1b = PackedPrimitiveType<u16, BinaryField1b>;
18pub type PackedBinaryField8x2b = PackedPrimitiveType<u16, BinaryField2b>;
19pub type PackedBinaryField4x4b = PackedPrimitiveType<u16, BinaryField4b>;
20pub type PackedBinaryField2x8b = PackedPrimitiveType<u16, BinaryField8b>;
21pub type PackedBinaryField1x16b = PackedPrimitiveType<u16, BinaryField16b>;
22
23// Define broadcast
24impl_broadcast!(u16, BinaryField1b);
25impl_broadcast!(u16, BinaryField2b);
26impl_broadcast!(u16, BinaryField4b);
27impl_broadcast!(u16, BinaryField8b);
28impl_broadcast!(u16, BinaryField16b);
29
30// Define operations for height 0
31impl_ops_for_zero_height!(PackedBinaryField16x1b);
32
33// Define constants
34impl_tower_constants!(BinaryField1b, u16, { alphas!(u16, 0) });
35impl_tower_constants!(BinaryField2b, u16, { alphas!(u16, 1) });
36impl_tower_constants!(BinaryField4b, u16, { alphas!(u16, 2) });
37impl_tower_constants!(BinaryField8b, u16, { alphas!(u16, 3) });
38
39// Define multiplication
40impl_mul_with!(PackedBinaryField8x2b @ PackedStrategy);
41impl_mul_with!(PackedBinaryField4x4b @ PackedStrategy);
42impl_mul_with!(PackedBinaryField2x8b @ PairwiseTableStrategy);
43impl_mul_with!(PackedBinaryField1x16b @ PairwiseRecursiveStrategy);
44
45// Define square
46impl_square_with!(PackedBinaryField8x2b @ PackedStrategy);
47impl_square_with!(PackedBinaryField4x4b @ PackedStrategy);
48impl_square_with!(PackedBinaryField2x8b @ PackedStrategy);
49impl_square_with!(PackedBinaryField1x16b @ PairwiseRecursiveStrategy);
50
51// Define invert
52impl_invert_with!(PackedBinaryField8x2b @ PairwiseRecursiveStrategy);
53impl_invert_with!(PackedBinaryField4x4b @ PairwiseRecursiveStrategy);
54impl_invert_with!(PackedBinaryField2x8b @ PairwiseTableStrategy);
55impl_invert_with!(PackedBinaryField1x16b @ PairwiseRecursiveStrategy);
56
57// Define multiply by alpha
58impl_mul_alpha_with!(PackedBinaryField8x2b @ PackedStrategy);
59impl_mul_alpha_with!(PackedBinaryField4x4b @ PackedStrategy);
60impl_mul_alpha_with!(PackedBinaryField2x8b @ PackedStrategy);
61impl_mul_alpha_with!(PackedBinaryField1x16b @ PairwiseRecursiveStrategy);
62
63// Define linear transformations
64impl_transformation_with_strategy!(PackedBinaryField16x1b, PackedStrategy);
65impl_transformation_with_strategy!(PackedBinaryField8x2b, PackedStrategy);
66impl_transformation_with_strategy!(PackedBinaryField4x4b, PackedStrategy);
67impl_transformation_with_strategy!(PackedBinaryField2x8b, PackedStrategy);
68impl_transformation_with_strategy!(PackedBinaryField1x16b, PairwiseStrategy);
binius_field/arch/portable/packed_16.rs

binius_field/arch/portable/
packed_16.rs
