Showing changes from revision #10 to #11:
Added | Removed | Changed
All The right, real let numbers us are get a the simplified identity model types of type numbers. families Actual working… computation in reality occurs in the rational numbers.
It The doesn’t real work! square You root need does types not indexed actually by exist. type Instead families, which we don’t have here. a partial function on the rationals which is only approximately a square root up to some rational tolerance.
The same goes for analytic functions like the exponential function and the sine and cosine function.