ebb1beea78
sage: Ensure that constraints are always fastfracs
...
Even if they are constants created in the formula functions. We now
lift integer constants to fastfracs.
2022-02-04 15:39:44 +01:00
77cfa98dbc
sage: Normalize sign of polynomial factors in prover
...
The prover, when run on recent sage versions, failed to prove some of its
goals due to a change in sage. This commit adapts our code accordingly.
The prover passes again after this commit.
2022-02-04 15:37:32 +01:00
eae75869cf
sage: Exit with non-zero status in case of failures
2022-02-04 15:37:32 +01:00
b54d843eac
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 13c88efed0
2022-01-31 15:17:46 +01:00
e108d0039c
sage: Fix incompatibility with sage 9.4
...
`allexprs` is already the product all numerators. Don't take it's
numerator again.
Fixes #1067 .
2022-01-31 12:15:16 +01:00
07aa4c70ff
Fix insecure links
2020-12-18 00:24:22 +02:00
13c88efed0
Convert Sage code to Python 3 (as used by Sage >= 9)
...
Co-authored-by: Tim Ruffing <crypto@timruffing.de>
2020-11-23 15:56:22 +01:00
8c7ea22d54
Fixed multiple typos
2017-09-24 17:53:13 -07:00
73aca8364f
Fix typo: "exectured" → "executed"
2017-01-29 18:36:08 +01:00
03d4611c81
Add sage verification script for the group laws
2015-11-29 16:03:07 +01:00
Tim Ruffing
Dimitris Apostolou
Frédéric Chapoton
Dimitris Tsapakidis
practicalswift
Pieter Wuille