ark-curves-cherry-picked/mnt4_753/src/fields/tests.rs
mnt4_753/src/fields/tests.rsRaw
1use ark_ff::Field;
2use ark_std::test_rng;
3use rand::Rng;
4
5use crate::*;
6
7use ark_curve_tests::fields::*;
8
9#[test]
10fn test_fr() {
11 let mut rng = test_rng();
12 let a: Fr = rng.gen();
13 let b: Fr = rng.gen();
14 field_test(a, b);
15 sqrt_field_test(a);
16 primefield_test::<Fr>();
17}
18
19#[test]
20fn test_fq() {
21 let mut rng = test_rng();
22 let a: Fq = rng.gen();
23 let b: Fq = rng.gen();
24 field_test(a, b);
25 sqrt_field_test(a);
26 primefield_test::<Fq>();
27}
28
29#[test]
30fn test_fq2() {
31 let mut rng = test_rng();
32 let a: Fq2 = rng.gen();
33 let b: Fq2 = rng.gen();
34 field_test(a, b);
35 sqrt_field_test(a);
36 frobenius_test::<Fq2, _>(Fq::characteristic(), 13);
37}
38
39#[test]
40fn test_fq4() {
41 let mut rng = test_rng();
42 let a: Fq4 = rng.gen();
43 let b: Fq4 = rng.gen();
44 field_test(a, b);
45 frobenius_test::<Fq4, _>(Fq::characteristic(), 13);
46}