TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Logarithmic.Configured.Plan

Execution planning for exact logarithmic multiplication #

The direct sign-and-exponent kernel is both the executable implementation and its reference specification.

source
def FloatLib.Floats.ExecFloat.Logarithmic.Plan.mulEstimate :
Backend.Candidate

Cost description of sign xor and unbounded-integer exponent addition.

Instances For
    source
    def FloatLib.Floats.ExecFloat.Logarithmic.Plan.mulCertified {radix : Numerics.Radix} :
    Backend.Certified mul

    The direct logarithmic kernel is its executable specification.

    Instances For