Closed b641ff84-2a45-43ff-8e1f-750d5a929bee closed 11 years ago
This does not crash for me, in Sage 5.5.
doctest to make sure it does not happen again
Attachment: 12792_add_doctest.patch.gz
Author: Charles Bouillaguet
Reviewer: Alexander Dreyer
The patch makes sense and looks fine, so positive review.
Upstream: None of the above - read trac for reasoning.
well, it's quite mysterious where the set came from in the crashing... I looked at the code, and it uses sets with much caution.
By the way, for most PolyBoRi code, you can use an immense number of extra variables and it will not affect performance too much.
The set probably arises from eliminate_identical_variables
. This issue was fixed some time ago for polybori 0.8.2, see: https://bitbucket.org/brickenstein/polybori/commits/f247a53 .
If the patch needs to be merged, the milestone should be an actual Sage release.
Otherwise, I might close the ticket without merging the patch.
Merged: sage-5.6.rc0
Hello,
There is a problem with polybori in sage-5.0.beta11. It crashes with the following error message:
The error can be consistently created with the following sage code:
I guess it's a problem when converting the result back from polybori to Sage.
I use sage 5.0-beta11 on a 64 bit machine, namely
Best, Christopher
Upstream: None of the above - read trac for reasoning.
CC: @sagetrac-PolyBoRi @alexanderdreyer
Component: commutative algebra
Keywords: polybori multivariate equation over GF(2) conversion polybory to sage
Author: Charles Bouillaguet
Reviewer: Alexander Dreyer
Merged: sage-5.6.rc0
Issue created by migration from https://trac.sagemath.org/ticket/12792