TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Configured.Logarithm.Runtime

Configured base-two and base-ten posit logarithms #

The selected carrier reuses the exact model logarithm through its lawful codec. This preserves the once-rounded result and all exceptional-input behavior across packed words and wide carriers.

source
@[inline]
def FloatLib.Floats.ExecFloat.Posit.log2 {format : Formats.Posit.Format} {plan : Formats.Posit.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.Posit.Model format) code] (value : ExecFloat (Formats.Posit.Configured.Family format code plan)) :
ExecFloat (Formats.Posit.Configured.Family format code plan)

Correctly rounded base-two logarithm; NaR and nonpositive inputs produce NaR.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Posit.log10 {format : Formats.Posit.Format} {plan : Formats.Posit.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.Posit.Model format) code] (value : ExecFloat (Formats.Posit.Configured.Family format code plan)) :
    ExecFloat (Formats.Posit.Configured.Family format code plan)

    Correctly rounded base-ten logarithm; NaR and nonpositive inputs produce NaR.

    Instances For
      source
      @[inline]
      def FloatLib.Floats.ExecFloat.Posit.log2Plus1 {format : Formats.Posit.Format} {plan : Formats.Posit.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.Posit.Model format) code] (value : ExecFloat (Formats.Posit.Configured.Family format code plan)) :
      ExecFloat (Formats.Posit.Configured.Family format code plan)

      Base-two logarithm of exact 1 + x, with one final rounding.

      Instances For
        source
        @[inline]
        def FloatLib.Floats.ExecFloat.Posit.log10Plus1 {format : Formats.Posit.Format} {plan : Formats.Posit.Configured.StoragePlan format} {code : Type} [ModelCodec plan (Formats.Posit.Model format) code] (value : ExecFloat (Formats.Posit.Configured.Family format code plan)) :
        ExecFloat (Formats.Posit.Configured.Family format code plan)

        Base-ten logarithm of exact 1 + x, with one final rounding.

        Instances For