TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Configured.Hyperbolic.Runtime

Configured posit hyperbolic functions #

A lawful model codec changes storage without adding numerical rounding. The operations inherit the model's NaR propagation and real-domain checks.

source
@[inline]
def FloatLib.Floats.ExecFloat.Posit.tanH {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 hyperbolic tangent; NaR propagates.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Posit.arcTanH {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 inverse hyperbolic tangent, with real domain -1 < x < 1.

    Instances For
      source
      @[inline]
      def FloatLib.Floats.ExecFloat.Posit.sinH {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 hyperbolic sine; NaR propagates.

      Instances For
        source
        @[inline]
        def FloatLib.Floats.ExecFloat.Posit.cosH {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 hyperbolic cosine; NaR propagates.

        Instances For
          source
          @[inline]
          def FloatLib.Floats.ExecFloat.Posit.arcSinH {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 inverse hyperbolic sine; NaR propagates.

          Instances For
            source
            @[inline]
            def FloatLib.Floats.ExecFloat.Posit.arcCosH {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 inverse hyperbolic cosine; inputs below 1 produce NaR.

            Instances For