TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Posit.Configured.Trigonometric.Pi.Runtime

Configured posit pi-scaled trigonometric operations #

The sinPi, cosPi, and tanPi specifications use pi times the input; inverse operations return principal angles divided by pi. Each call encodes the model result through the lawful storage codec without further rounding.

source
@[inline]
def FloatLib.Floats.ExecFloat.Posit.sinPi {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 sine of pi times the input.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Posit.cosPi {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 cosine of pi times the input.

    Instances For
      source
      @[inline]
      def FloatLib.Floats.ExecFloat.Posit.tanPi {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 tangent of pi times the input; half-integers produce NaR.

      Instances For
        source
        @[inline]
        def FloatLib.Floats.ExecFloat.Posit.arcSinPi {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 sine divided by pi; inputs outside [-1, 1] produce NaR.

        Instances For
          source
          @[inline]
          def FloatLib.Floats.ExecFloat.Posit.arcCosPi {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 cosine divided by pi; inputs outside [-1, 1] produce NaR.

          Instances For
            source
            @[inline]
            def FloatLib.Floats.ExecFloat.Posit.arcTanPi {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 principal inverse tangent divided by pi.

            Instances For