AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

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

1,978 lines222 declarations72.8 KiBSHA-256 b399c7cf28cc
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1605–1613

greedyArgmaxSM86ExpectedInstructions

Full file
1605def greedyArgmaxSM86ExpectedInstructions =
1606  (lambda unrestricted vocabulary : Nat .
1607    (naturalAdd
1608      greedyArgmaxSM86N277
1609      (naturalAdd
1610        (naturalMultiply
1611          (naturalDivideUnchecked vocabulary greedyArgmaxSM86N256)
1612          greedyArgmaxSM86N30)
1613        (naturalMultiply (greedyArgmaxSM86HasTail vocabulary) greedyArgmaxSM86N33))))

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.