~/jendhub

def tab.check

bend-osdev-gf@0.1.1.0 · check.bend:52

import bend-osdev-gf@0.1.1.0/check.bend as Check
import Base
import bend-osdev-gf@0.1.1.0/gf.bend as G
import bend-osdev-gf@0.1.1.0/tables.bend as T

52def tab.check(+f: G.Gf8Field) -> Nat:
53  Nat.add(tab.snd(tab.all(256n, f, (T.Gf8Tab.new(f), 0n), 0)), tab.inv(256n, f, T.Gf8Tab.inv(T.Gf8Tab.new(f), 0), 0, 0n))

Uses (9)

Used by (1)