law gfm_mul_inv_gf16

bend-osdev-gf@0.1.1.0 · LAWS.bend:266

import Base
import bend-osdev-gf@0.1.1.0/gfm.bend as M

266law gfm_mul_inv_gf16:
267  for +a: U32
268  for nz: {U32.is_eq(M.Gfm.elt(M.Gfm.gf16(), a), 0) == False{} : Bool}
269  {M.Gfm.mul(M.Gfm.gf16(), a, M.Gfm.inv(M.Gfm.gf16(), a)) == 1 : U32}