TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.FixedPoint.Configured.Conversion.Instances

Exact fixed-point conversion instances #

Unbounded configured fixed point supports exact-rational destination quantization with a canonical context.

source
@[instance_reducible]
instance FloatLib.Floats.ExecFloat.FixedPoint.Conversion.quantizer {radix : Numerics.Radix} {fractionalDigits : ℕ} :
Quantizer (FixedPoint radix fractionalDigits) ℚ

Every exact fixed-point grid quantizes finite rationals with ties to even.

source
@[instance_reducible]
instance FloatLib.Floats.ExecFloat.FixedPoint.Conversion.defaultQuantizer {radix : Numerics.Radix} {fractionalDigits : ℕ} :
DefaultQuantizer (FixedPoint radix fractionalDigits) ℚ

Exact fixed-point conversion has one canonical context.