Homotopy Type Theory polynomial function > history (Rev #2)


In a commutative ring AA, given a natural number n:n:\mathbb{N} and a function a:[0,n]Aa:[0,n] \to A called the coefficient, a degree nn polynomial is an endofunction f:AAf:A \to A defined as

f(x) i:[0,n]a(i)x if(x) \coloneqq \sum_{i:[0,n]} a(i) \cdot x^i

See also

Revision on June 13, 2022 at 06:25:28 by Anonymous?. See the history of this page for a list of all contributions to it.