TestModAddCommutativ(t *testing.T) { err := quick.Check(testModAddCommutativ, &quick.Config{}) if err != nil { t.Error(err) } } func testModSubThenAddIde(a *Nat, b *Nat) bool { m := maxModulus(uint(len(a.limbs))) original := new(Nat).set(a) a.Sub(b, m) a.Add(b, m) return a.Equal(original) == 1 } func TestModSubThenAddIde(t *testing.T) { err := quick.Check(testModSubThenAddIde, &quick.Config{}) if err != nil { t.Error(err) } } func TestMontgomeryRoundt(t *testing.T) { err := quick.Check(func(a *Nat) bool...