Less | Data.Order |
less | Data.Number.MPFR, Data.Number.Dyadic |
lesseq | Data.Number.MPFR, Data.Number.Dyadic |
lim | Data.Number.Real |
limRat | Data.Number.Real |
limRec | Data.Number.Real |
log | |
1 (Function) | Data.Number.MPFR, Data.Number.Dyadic |
2 (Function) | Data.Number.Ball |
3 (Function) | Data.Number.DyadicInterval |
4 (Function) | Data.Number.Real |
log10 | Data.Number.MPFR, Data.Number.Dyadic |
log10_ | Data.Number.MPFR, Data.Number.Dyadic |
log2 | Data.Number.MPFR, Data.Number.Dyadic |
log2c | Data.Number.MPFR, Data.Number.Dyadic |
log2c_ | Data.Number.MPFR, Data.Number.Dyadic |
log2_ | Data.Number.MPFR, Data.Number.Dyadic |
log_ | Data.Number.MPFR, Data.Number.Dyadic |
lower | |
1 (Function) | Data.Number.Ball |
2 (Function) | Data.Number.DyadicInterval |
lower_ | Data.Number.Ball |