Method on @infsup: log10 (X)

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