@infsup
Compute the decimal (base-10) logarithm.
The function is only defined where X is positive.
Accuracy: The result is a tight enclosure.
log10 (infsup (2)) ⇒ ans ⊂ [0.30102, 0.30103]
See also: @@infsup/pow10, @@infsup/log, @@infsup/log2.
Package: interval