TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Numerics.Enclosure.Hyperbolic.Runtime

Rational enclosures for hyperbolic sine and cosine #

Exact interval addition, subtraction, and scaling combine the existing exponential enclosures. Callers comparing large inputs first use logarithmic bounds to avoid constructing an exponential whose size greatly exceeds the rational boundary.

source
def FloatLib.Numerics.Enclosure.sinh (x : ℚ) (degree : ℕ) :
RationalInterval

Enclose (exp x - exp (-x)) / 2 with exact rational endpoint arithmetic.

Instances For
    source
    def FloatLib.Numerics.Enclosure.cosh (x : ℚ) (degree : ℕ) :
    RationalInterval

    Enclose (exp x + exp (-x)) / 2 with exact rational endpoint arithmetic.

    Instances For