def gt.fe

bend-osdev-gf@0.1.1.0 · proof_tab.bend:196

import Base
import bend-osdev-array@0.1.0.1/array.bend as A
import bend-osdev-gf@0.1.1.0/gf.bend as G

196# the exp fill's model: slot i (from slot k) holds gen^i
197def gt.fe(n: Nat, xs: List<&2, U32>, +f: G.Gf8Field, +k: Nat) -> List<&2, U32>:
198  match n:
199    case 0n:
200      xs
201    case 1n+j:
202      gt.fe(j, List.set(&2, U32, xs, A.Arrays.index(9n, U32.from_nat(k)), G.Gf8.exp(f, k)), f, 1n+k)