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

Showing changes from revision #1 to #2:
Added | ~~Removed~~ | ~~Chan~~ged

## Definition

< rational function

~~Given a ~~

~~Heyting field~~~~ ~~~~$F$~~~~, let ~~~~$f:F \to F$~~~~ and ~~~~$g:F \to F$~~~~ be ~~~~polynomial functions?~~~~ and let ~~~~$h:F_{#0} \to F$~~~~ be the ~~~~reciprocal function~~~~ of ~~~~$F$~~~~. A rational function is a ~~~~partial function~~~~
~~$k:\left(\sum{a:f} g(a) # 0\right) \to F$

~~
~~defined as

~~
~~$k(a) \coloneqq f(a) \cdot h(g(a))$

~~
~~## See also

~~
~~
Revision on June 10, 2022 at 13:52:16 by
Anonymous?.
See the history of this page for a list of all contributions to it.