o1-labs/proof-systems

Finalize MVPoly tests generalization

Closed this issue · 0 comments

Tasks:

  • Generalize the test_homogeneous_eval tests.
  • Generalize the test_add_monomial tests.
  • Generalize the test_is_multilinear tests.
  • Get rid of modify_monomial_with_scalar.
    • Implement a generic method modify_monomial (already implemented for monomials), and use it instead.

Context: