only add prime if needed

This commit is contained in:
Ahmet Inan 2024-03-26 08:52:24 +01:00
commit c2977efb49

View file

@ -72,7 +72,7 @@ PrimeField<TYPE, PRIME> operator + (PrimeField<TYPE, PRIME> a, PrimeField<TYPE,
template <typename TYPE, TYPE PRIME> template <typename TYPE, TYPE PRIME>
PrimeField<TYPE, PRIME> sub(PrimeField<TYPE, PRIME> a, PrimeField<TYPE, PRIME> b) PrimeField<TYPE, PRIME> sub(PrimeField<TYPE, PRIME> a, PrimeField<TYPE, PRIME> b)
{ {
return PrimeField<TYPE, PRIME>(a.v - b.v + a.P); return PrimeField<TYPE, PRIME>(a.v - b.v + (a.v < b.v ? a.P : 0));
} }
template <typename TYPE, TYPE PRIME> template <typename TYPE, TYPE PRIME>