Hi there!
I've upgraded to Linux Mint 20.1 Ulyssa (kernel 5.4.0-77-generic), and
then I've build Sage 9.3 from source.
Now the issue is solved. Thanks for this amazing software!
I downloaded sources tarball for sage 9.3 via torrent. Then, before
proceeding, I studied README.md and source.rst
Hi Vesselin,
Sorry! Name-clash: Sage uses SR for the “Symbolic Ring” and we use “mq.SR” for
the small scale AES generator. This is what caused Dima’s confusion, that’s all.
A workaround is to look at the linear equations directly and to extract a
solution from it “by hand”, i.e. there’s a bug.
Hi Martin,
Thank you for your reply!
By "name clash" do you mean that both mq and BooleanPolynomialRing use the
same name i.e. "variety" for two different functions?
Also, I didn't quite understand your solution -- the call to
G.ideal().variety() from your first example still fails on my side
Hi all,
I think there’s a name clash here. mq.SR is a thing I wrote ages ago for
producing systems of equations for small-scale variants of AES (not the
symbolic ring).
The problem comes from the variety() call and I think Sam did find a bug:
sage: sr = mq.SR(2,1,1,4, gf2=True, polybori=True,
I am using SageMath's implementation of SR and encountered the above error
when trying to display the solutions to a polynomial system using the
variety function for ideals, as specified
here:
https://doc.sagemath.org/html/en/reference/cryptography/sage/crypto/mq/sr.html.
I am running SageMath
Don't do Groebner bases over SR, use a proper polynomial ring.
On Thu, Jul 1, 2021 at 4:56 PM Sam Ratcliffe
wrote:
>
> I am using the SageMath implementation of SR and wish to recover all
> solutions to a polynomial system using the variety function for ideals as
> specified here:
> https://do
I am using the SageMath implementation of SR and wish to recover all
solutions to a polynomial system using the variety function for ideals as
specified
here:
https://doc.sagemath.org/html/en/reference/cryptography/sage/crypto/mq/sr.html
When I run the following (as available on the above link
