Method on @infsup: dilog (X)

Compute the real part of the dilogarithm function.

                  x
                 /  log (1 - t)
dilog (x) = - Re |------------- dt
                 /       t
                0

Accuracy: The result is a tight enclosure.

dilog (infsup (1))
  ⇒ ans ⊂ [1.6449, 1.645]

Package: interval