def Gf8.div
import bend-osdev-gf@0.1.1.0/gf.bend as Gfimport Base
151# a / b = a * b^-1 (and a / 0 = 0)
152def Gf8.div(+f: Gf8Field, a: U32, +b: U32) -> U32:
153 Gf8.mul(f, a, Gf8.inv(f, b))
import bend-osdev-gf@0.1.1.0/gf.bend as Gfimport Base
151# a / b = a * b^-1 (and a / 0 = 0)
152def Gf8.div(+f: Gf8Field, a: U32, +b: U32) -> U32:
153 Gf8.mul(f, a, Gf8.inv(f, b))