Index - T
| take | Data.Number.ER.ExtendedInteger |
| tan | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| timesDown | Data.Number.ER.Misc |
| timesUp | Data.Number.ER.Misc |
| toDouble | Data.Number.ER.Real.Base |
| toFloat | Data.Number.ER.Real.Base |
AERN-Real-0.9.3.1: datatypes and abstractions for approximating exact real numbers
Index - T
| take | Data.Number.ER.ExtendedInteger |
| tan | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| timesDown | Data.Number.ER.Misc |
| timesUp | Data.Number.ER.Misc |
| toDouble | Data.Number.ER.Real.Base |
| toFloat | Data.Number.ER.Real.Base |