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

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

Definition

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

See also

• power function
• commutative ring
• rational function
• rational root theorem
• function algebra