TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Configured.Elementary.Runtime

Configured natural posit elementary functions #

Every lawful configured carrier uses the same correctly rounded model operation. The codec changes the storage representation without adding an intermediate numerical rounding.

source
@[inline]
def FloatLib.Floats.ExecFloat.Posit.exp {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 natural exponential; NaR propagates.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Posit.expMinus1 {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)

    Exact exponential minus one, with a single final posit rounding.

    Instances For
      source
      @[inline]
      def FloatLib.Floats.ExecFloat.Posit.log {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 natural logarithm; NaR and nonpositive inputs produce NaR.

      Instances For
        source
        @[inline]
        def FloatLib.Floats.ExecFloat.Posit.logPlus1 {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)

        Natural logarithm of exact 1 + x, with a single final posit rounding.

        Instances For