mirror of
https://github.com/status-im/secp256k1.git
synced 2025-02-23 11:18:15 +00:00
sage: Fix printing of errors
Python 3 often returns iterable map objects where Python 2 returned list. We can just them down to lists explicitly. Overlooked in 13c88efed0005eb6745a222963ee74564054eafb.
This commit is contained in:
parent
e108d0039c
commit
b54d843eac
@ -254,7 +254,7 @@ def prove_zero(R, exprs, assume):
|
||||
"""Check whether all of the passed expressions are provably zero, given assumptions"""
|
||||
r, e = prove_nonzero(R, dict(map(lambda x: (fastfrac(R, x.bot, 1), exprs[x]), exprs)), assume)
|
||||
if not r:
|
||||
return (False, map(lambda x: "Possibly zero denominator: %s" % x, e))
|
||||
return (False, list(map(lambda x: "Possibly zero denominator: %s" % x, e)))
|
||||
zero = R.ideal(list(map(numerator, assume.zero)))
|
||||
nonzero = prod(x for x in assume.nonzero)
|
||||
expl = []
|
||||
|
Loading…
x
Reference in New Issue
Block a user