def gf8tab.fill.log

bend-osdev-gf@0.1.1.0 · tables.bend:27

import bend-osdev-gf@0.1.1.0/tables.bend as Tables
import Base
import bend-osdev-gf@0.1.1.0/gf.bend as G

27# log[gen^i] = i for i from i0, n entries
28def gf8tab.fill.log(n: Nat, a: Array<U32>, +f: G.Gf8Field, +cur: U32, +i: U32) -> Array<U32>:
29  match n:
30    case 0n:
31      a
32    case 1n+k:
33      gf8tab.fill.log(k, Array.set(U32, a, cur, i), f, G.Gf8.mul(f, G.Gf8.gen(f), cur), U32.add(i, 1))

Uses (8)

Used by (6)