def Mag.base
import bend-kit-bignum@0.1.0.0/bigint.bend as Bigintimport Base
433# The base's residue in [0, m).
434def Mag.base(neg: Bool, +r: List<&2, U32>, +m: List<&2, U32>) ->
435 List<&2, U32>:
436 match neg:
437 case True{}:
438 Mag.if(List<&2, U32>, List.is_empty(&2, U32, r), u => r,
439 u => Mag.norm(Mag.sub(m, r, 0)))
440 case False{}:
441 r