type Bezout

bend-collections-laws-crypto@1.0.0.0 · src/math/natural.bend:38

import Base

38# the last nonzero remainder of the extended Euclid loop and its
39# coefficient: a * coef == gcd (mod m)
40type Bezout is Data:
41  BZ{gcd: Nat, coef: Nat}