From e108d0039c36483dffe4be00815c1b6d65ef5751 Mon Sep 17 00:00:00 2001
From: Tim Ruffing <crypto@timruffing.de>
Date: Mon, 31 Jan 2022 12:13:37 +0100
Subject: [PATCH] sage: Fix incompatibility with sage 9.4

`allexprs` is already the product all numerators. Don't take it's
numerator again.

Fixes #1067.
---
 sage/group_prover.sage | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sage/group_prover.sage b/sage/group_prover.sage
index b200bfeae..999da52a8 100644
--- 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: