Homotopy Type Theory quadratic function > history (Rev #1)

Definition

In a commutative Z-algebra $A$, given terms $a:A$, $b:A$, $c:A$ a quadratic function is a function $f:A \to A$ defined as $f(x) \coloneqq a \cdot x^2 + b \cdot x + c$, where $x^2$ is the square function

See also

• square function
• Z-algebra