Module ff_group_tests::prime_field

Tests for the PrimeField and PrimeFieldBits traits.

Functions

• test_capacity
  Test CAPACITY is accurate.
• test_char_le_bits
  Test char_le_bits returns the bits of the modulus.
• test_delta
  Test DELTA is correct.
• test_encoding
  Test encoding and decoding of field elements.
• test_from_u64
  Test From<u64> for F works.
• test_from_u128
  Test from_u128 for F works.
• test_inv_consts
  Test the inverted constants are correct.
• test_is_odd
  Test is_odd/is_even works.
• test_num_bits
  Test NUM_BITS is accurate.
• test_one
  Test one returns F::from(1).
• test_pow
  Perform basic tests on the pow functions, even when passed non-canonical inputs.
• test_prime_field
  Run all tests on fields implementing PrimeField.
• test_prime_field_bits
  Run all tests on fields implementing PrimeFieldBits.
• test_root_of_unity
  Test the root of unity is correct for the provided multiplicative generator.
• test_s
  Test S is correct.
• test_to_le_bits
  Test to_le_bits returns the little-endian bits of a value.
• test_zero
  Test zero returns F::from(0).