Module ff_group_tests::field

Tests for the Field trait.

Functions

• test_add
  Perform basic tests on addition.
• test_conditional_select
  Verify conditional selection works. Doesn’t verify it’s actually constant time.
• test_cube
  Perform basic tests on the cube function.
• test_eq
  Perform basic tests on equality.
• test_field
  Run all tests on fields implementing Field.
• test_invert
  Perform basic tests on the invert function.
• test_is_zero
  Perform basic tests on the is_zero functions.
• test_mul
  Perform basic tests on multiplication.
• test_neg
  Perform basic tests on negation.
• test_product
  Perform basic tests on product.
• test_random
  Test random.
• test_sqrt
  Perform basic tests on the sqrt functions.
• test_square
  Perform basic tests on the square function.
• test_sub
  Perform basic tests on subtraction.
• test_sum
  Perform basic tests on sum.