Skip to content

Commit

Permalink
sage: Fix incompatibility with sage 9.4
Browse files Browse the repository at this point in the history
`allexprs` is already the product all numerators. Don't take it's
numerator again.

Fixes #1067.
  • Loading branch information
real-or-random committed Jan 31, 2022
1 parent d8a2463 commit e108d00
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion sage/group_prover.sage
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit e108d00

Please sign in to comment.