AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropySM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/ExactCrossEntropySM86.alpha

1,471 lines228 declarations53.2 KiBSHA-256 411308c1414a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 552–565

exactCrossEntropyRowsMaximumTilesFor

Full file
552def exactCrossEntropyRowsMaximumTilesFor =
553  (lambda unrestricted tiles : Nat .
554    (nat-eliminate
555      (lambda unrestricted current : Nat . (family SM86Program))
556      exactCrossEntropySM86End
557      (lambda unrestricted predecessor : Nat .
558        (lambda unrestricted induction : (family SM86Program) .
559          (sm86ProgramAppend
560            (exactCrossEntropyRowsMaximumTile
561              (exactCrossEntropyRowsTileOffsetFor
562                (naturalSaturatingSubtract
563                  (naturalSaturatingSubtract tiles 1) predecessor)))
564            induction)))
565      (naturalSaturatingSubtract tiles 1)))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.