Expand description
This module contains a list of property tests for the MVPoly trait.
Any type that implements the MVPoly trait should pass these tests.
For instance, one can call the test_mul_by_one as follows:
use mvpoly::MVPoly;
use mvpoly::prime::Dense;
use mina_curves::pasta::Fp;
#[test]
fn test_mul_by_one() {
mvpoly::pbt::test_mul_by_one::<Fp, 2, 2, Dense<Fp, 2, 2>>();
mvpoly::pbt::test_mul_by_one::<Fp, 4, 2, Dense<Fp, 4, 2>>();
}