TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.FixedPoint.Display

Value display of fixed-point formats #

Fixed-point values print their exact value in fixed notation. Decimal grids keep their scale, so 3.5 with three fractional digits prints as 3.500. Other radices print the exact decimal value without trailing zeros when it terminates, as for binary grids, and otherwise a reduced fraction such as 1/3.

source
def FloatLib.Floats.Formats.FixedPoint.display (radix : Numerics.Radix) (fractionalDigits : ℕ) (coefficient : ℤ) :
String

Text of the coefficient coefficient on the grid radix^(-fractionalDigits).

Instances For
    source
    @[instance_reducible]
    instance FloatLib.Floats.ExecFloat.instFormatDisplayFamily (radix : Numerics.Radix) (fractionalDigits : ℕ) :
    FormatDisplay (FixedPoint.Family radix fractionalDigits)

    Exact fixed-point values print their value on their grid.

    source
    @[instance_reducible]
    instance FloatLib.Floats.ExecFloat.instFormatDisplayFamily_1 (radix : Numerics.Radix) (fractionalDigits width : ℕ) :
    FormatDisplay (BoundedFixedPoint.Family radix fractionalDigits width)

    Bounded fixed-point values print their value on their grid.