0; i < size; i++ { limbs[i] = uint(r.Uint64()) & ((1 << _W) - 2) } return reflect.ValueOf(&Nat{limbs}) } func testModAddCommutativ(a *Nat, b *Nat) bool { m := maxModulus(uint(len(a.limbs))) aPlusB := new(Nat).set(a) aPlusB.Add(b, m) bPlusA := new(Nat).set(b) bPlusA.Add(a, m) return aPlusB.Equal(bPlusA) == 1 } func TestModAddCommutativ(t *testing.T) { err := quick.Check(testModAddCommutativ, &quick.Config{}) if err != nil { t.Error(err) } } func testModSubThenAddIde(a *Nat, b *Nat) bool { m := max...