Homotopy Type Theory quadratic function > history (changes)

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

Definition

< quadratic function

In a commutative

Z-algebra AA, given terms a:Aa:A, b:Ab:A, c:Ac:A a quadratic function is a function f:AAf:A \to A defined as f(x)ax 2+bx+cf(x) \coloneqq a \cdot x^2 + b \cdot x + c, where x 2x^2 is the square function

See also

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