def coefficients

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/poly.bend:74

import Base

74# The coefficients of a residue, as a polynomial.
75def coefficients(n: Nat, w: Word(n)) -> List<&2, Bool>:
76  match n w:
77    case 0n WNil{}:
78      Nil{}
79    case 1n+p WCon{b, t}:
80      b <> coefficients(p, t)