Bigint.Mag.pow: def of bend-kit-bignum@0.1.0.0
Import: import bend-kit-bignum@0.1.0.0/bigint.bend as Bigint
Lines 261-272 of bend-kit-bignum@0.1.0.0/bigint.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&start_line=261&end_line=272

import Base

# b^e * acc by squaring; e <= f, and e halves as f counts down.
def Mag.pow(+f: Nat, +b: List<&2, U32>, +e: Nat, +acc: List<&2, U32>) ->
  List<&2, U32>:
  match f:
    case 0n:
      acc
    case 1n+g:
      +h = Nat.div(e, 2n)
      +acc2 = Mag.if(List<&2, U32>, Nat.is_eq(Nat.mod(e, 2n), 1n),
        u => Mag.mul(acc, b), u => acc)
      Mag.if(List<&2, U32>, Nat.is_eq(h, 0n), u => acc2,
        u => Mag.pow(g, Mag.mul(b, b), h, acc2))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mod
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&name=Mag.if
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bignum@0.1.0.0/bigint.bend&name=Mag.mul