Fix unbalanced Bezout coefficients (#287).

relic-toolkit · Mar 9, 2024 · 554cb0f · 554cb0f
1 parent 94c00d9
commit 554cb0f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bn/relic_bn_gcd.c b/src/bn/relic_bn_gcd.c
@@ -797,7 +797,7 @@ void bn_gcd_ext_binar(bn_t c, bn_t d, bn_t e, const bn_t a, const bn_t b) {
 		bn_div(y, y, u);
 		bn_hlv(_a, x);
 		bn_hlv(_b, y);
-		while (bn_cmp_abs(d, _b) == RLC_GT) {
+		while (bn_cmp_abs(d, _b) == RLC_GT || bn_cmp_abs(_e, _a) == RLC_GT) {
 			bn_div(t, d, _b);
 			if (bn_bits(t) > 1) {
 				bn_hlv(t, t);