Method on @infsup: log2 (X) ¶

Compute the binary (base-2) logarithm.

The function is only defined where X is positive.

Accuracy: The result is a tight enclosure.

log2 (infsup (2))
  ⇒ ans = [1]

See also: @@infsup/pow2, @@infsup/log, @@infsup/log10.

Package: interval