Homotopy Type Theory polynomial function > history (changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

Definition

< polynomial function

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

Last revised on June 13, 2022 at 21:51:20. See the history of this page for a list of all contributions to it.