leqReals | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
leqSingletons | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
linearSolver | Data.Number.ER.Real.Arithmetic.LinearSolver |
listHasMatch | Data.Number.ER.Misc |
listUpdate | Data.Number.ER.Misc |
log | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
lookup | Data.Number.ER.Real.DomainBox |
ltSingletons | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |