Commit 2025-03-25 11:08 cb1f34fd

View on Github →

feat(Algebra/Polynomial/ofFn): ofFn and APIs (#23080) In this PR we introduce ofFn and toFn, two functions that associate a polynomial to the vector of its coefficients and vice versa. We prove some basic APIs for these functions.

Main definitions

-Polynomial.toFn n associates to a polynomial the vector of its first n coefficients. -Polynomial.ofFn n associates to a vector of length n the polynomial that has the entries of the vector as coefficients. See Zulip discussion

Estimated changes