Index - L
leqReals | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
listHasMatch | Data.Number.ER.Misc |
listUpdate | Data.Number.ER.Misc |
log | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
AERN-Real-0.9.3: datatypes and abstractions for approximating exact real numbers