Closed iaik-jheher closed 1 month ago
ModularBigInteger::negate simply returns this. It should return the additive inverse (modulus - residue).
ModularBigInteger::negate
this
modulus - residue
MWE:
val creator = ModularBigInteger.creatorForModulo(7) val a = creator.fromInt(6) val b = creator.fromInt(3) require ((a-b) == (a+(-b)))
ModularBigInteger::negate
simply returnsthis
. It should return the additive inverse (modulus - residue
).MWE: