TorchLean API

Docs HomeInstallationGuideExamplesGraphsTools

FloatLib.Floats.Formats.Codebook.Catalog.Runtime

Named tiny-codebook definitions #

These executable denotation tables illustrate lookup encodings without imposing an IEEE-style field layout. Their word-level denotation theorems are isolated in Catalog.Proof.

source
def FloatLib.Floats.Formats.Codebook.Catalog.bipolar1 :
Codebook 1 ℤ

One-bit bipolar encoding: 0 ↦ -1 and 1 ↦ +1.

Instances For
    source
    def FloatLib.Floats.Formats.Codebook.Catalog.ternary2 :
    Codebook 2 ℤ

    Two-bit signed ternary encoding: 00 ↦ 0, 01 ↦ +1, 10 ↦ -1, and 11 ↦ reserved.

    Instances For