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