~/jendhub

def inv_go

bend-collections@1.0.0.0 · src/math/natural.bend:305

import bend-collections@1.0.0.0/src/math/natural.bend as Natural
import Base

305def inv_go(fuel: Nat, +m: Nat, +r0: Nat, +s0: Nat, +r1: Nat, +s1: Nat) -> Bezout:
306  match fuel r1:
307    case 0n _:
308      BZ{r0, s0}
309    case 1n+f 0n:
310      BZ{r0, s0}
311    case 1n+f 1n+ +rp:
312      inv_go(f, m, 1n+rp, s1, Nat.mod(r0, 1n+rp), inv_step(m, Nat.div(r0, 1n+rp), s0, s1))

Uses (5)

Used by (1)