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