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