polybori crash (Linux)

[sagetrac-cbwolf]

Hello,

I think I found a bug in Sage 4.8, more specifically in polybori. Polybori terminates with a "segmentation fault". I have attached the input (sparse polynomials) and the output. I can reproduce the error with this specific input.

For smaller instances (i.e. less variables, less equations), the programme runs fine and the output is correct.

The machine has about 256 GB RAM, uses an AMD Opteron(TM) Processor 6276 @ 2.3 GHz and runs under Linux 2.6.32-220.2.1.el6.x86_64.

If you need any more info: Please drop me a line!

Best,
Christopher

---

Duplicate of #11575.

Upstream: Fixed upstream, in a later stable release.

CC: @alexanderdreyer

Component: packages: standard

Keywords: polybori multivariate quadratic polynomials

Reviewer: Alexander Dreyer

Issue created by migration from https://trac.sagemath.org/ticket/12654

[sagetrac-cbwolf]

Minimal Input that makes polybori crash

[sagetrac-cbwolf]

Attachment: ticketMinimal.sage.gz

Output of the test file

[sagetrac-cbwolf]

Attachment: testOut.txt

Attachment: testError.txt

Error message of the test file

[alexanderdreyer]

comment:1

It seems that this is fixed by #12655 or #12656 (for sage-5.0alpha). Can you verify this?

[alexanderdreyer]

Upstream: Fixed upstream, in a later stable release.

[alexanderdreyer]

Changed keywords from polibori multivariate quadratic polynomials to polybori multivariate quadratic polynomials

[alexanderdreyer]

comment:2

Replying to @alexanderdreyer:

It seems that this is fixed by #12655 or #12656 (for sage-5.0alpha). Can you verify this?

Maybe #11575 already fixed that (still it works only for sage-5.0).

[sagetrac-cbwolf]

comment:3

Thanks for pointing this out!

Yes, the bug is gone with sage-5.0beta_a11.

Best,
Christopher

[alexanderdreyer]

comment:4

Duplicate of #11575.

[alexanderdreyer]

comment:5

Abusing "positive review", because I cannot close it.

[jdemeyer]

comment:6

In such cases, you should set the milestone to "sage-duplicate/invalid/wontfix".

[jdemeyer]

Reviewer: Alexander Dreyer