AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

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

1,985 lines222 declarations73.3 KiBSHA-256 a4ae889c3756
Download exact fileView at revision426597bda5753d86c4

def · lines 1612–1620

greedyArgmaxSM86ExpectedInstructions

Full file
1612def greedyArgmaxSM86ExpectedInstructions =
1613  (lambda unrestricted vocabulary : Nat .
1614    (naturalAdd
1615      greedyArgmaxSM86N277
1616      (naturalAdd
1617        (naturalMultiply
1618          (naturalDivideUnchecked vocabulary greedyArgmaxSM86N256)
1619          greedyArgmaxSM86N30)
1620        (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.