TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

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

Configured posit two-coordinate arctangent #

The lawful storage codec preserves the model operations. Coordinates are ordered (x, y) according to the Posit Standard, and no extra rounding occurs at the carrier boundary.

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

Correctly rounded principal argument of x + i*y in radians; NaR and the origin are invalid.

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

    Correctly rounded principal argument of x + i*y divided by pi; NaR and the origin are invalid.

    Instances For