div): `a - b ∣ p.eval a - p.eval b` (#13021)

Commit

3 years ago

feat(data/polynomial/div): `a - b ∣ p.eval a - p.eval b` (#13021) Co-authored-by: Eric Rodriguez <@ericrbg>

Author

vihdzp

Parents