logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-05-21 01:09:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

added test_arithmetic for extension fields

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-21 14:39:39 -07:00
parent 292a28e6e3
commit 59efe6a8fe
2 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/field/extension_field/quadratic.rs
View File

@ -228,6 +228,7 @@ mod tests {
use crate::field::extension_field::quadratic::QuadraticCrandallField; use crate::field::extension_field::quadratic::QuadraticCrandallField;
use crate::field::extension_field::{FieldExtension, Frobenius}; use crate::field::extension_field::{FieldExtension, Frobenius};
use crate::field::field::Field; use crate::field::field::Field;
use crate::test_arithmetic;
#[test] #[test]
fn test_add_neg_sub_mul() { fn test_add_neg_sub_mul() {
@ -298,4 +299,6 @@ mod tests {
<F as FieldExtension<2>>::BaseField::POWER_OF_TWO_GENERATOR.into() <F as FieldExtension<2>>::BaseField::POWER_OF_TWO_GENERATOR.into()
); );
} }
test_arithmetic!(crate::field::extension_field::quadratic::QuadraticCrandallField);
} }

3
src/field/extension_field/quartic.rs
View File

@ -291,6 +291,7 @@ mod tests {
use crate::field::extension_field::quartic::QuarticCrandallField; use crate::field::extension_field::quartic::QuarticCrandallField;
use crate::field::extension_field::{FieldExtension, Frobenius}; use crate::field::extension_field::{FieldExtension, Frobenius};
use crate::field::field::Field; use crate::field::field::Field;
use crate::test_arithmetic;
fn exp_naive<F: Field>(x: F, power: u128) -> F { fn exp_naive<F: Field>(x: F, power: u128) -> F {
let mut current = x; let mut current = x;
@ -388,4 +389,6 @@ mod tests {
<F as FieldExtension<4>>::BaseField::POWER_OF_TWO_GENERATOR.into() <F as FieldExtension<4>>::BaseField::POWER_OF_TWO_GENERATOR.into()
); );
} }
test_arithmetic!(crate::field::extension_field::quartic::QuarticCrandallField);
} }