TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

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

Configured posit trigonometric operations #

Sine, cosine, and tangent take radian arguments; their inverses return principal angles. Each call lifts the correctly rounded model result through the lawful storage codec without further numerical rounding.

source
@[inline]
def FloatLib.Floats.ExecFloat.Posit.sin {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 a radian argument.

Instances For
    source
    @[inline]
    def FloatLib.Floats.ExecFloat.Posit.cos {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 a radian argument.

    Instances For
      source
      @[inline]
      def FloatLib.Floats.ExecFloat.Posit.tan {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 a radian argument.

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

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

          Instances For
            source
            @[inline]
            def FloatLib.Floats.ExecFloat.Posit.arcTan {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 tangent on its principal branch.

            Instances For