Skip to content

Make all polynomials handle negative powers#269

Merged
oscarbenjamin merged 1 commit intoflintlib:mainfrom
oscarbenjamin:pr_poly_neg_powers
Mar 12, 2025
Merged

Make all polynomials handle negative powers#269
oscarbenjamin merged 1 commit intoflintlib:mainfrom
oscarbenjamin:pr_poly_neg_powers

Commits

Commits on Mar 12, 2025