sage: Fix incompatibility with sage 9.4

`allexprs` is already the product all numerators. Don't take it's numerator again. Fixes #1067.
BlockstreamResearch · Jan 31, 2022 · e108d00 · e108d00
1 parent d8a2463
commit e108d00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sage/group_prover.sage b/sage/group_prover.sage
@@ -227,7 +227,7 @@ def prove_nonzero(R, exprs, assume):
   if ok:
     return (True, None)
   ok = True
-  for (f, n) in zero.reduce(numerator(allexprs)).factor():
+  for (f, n) in zero.reduce(allexprs).factor():
     if f not in nonzero:
       ok = False
   if ok: