search

algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods
https://msolve.lip6.fr
GNU General Public License v2.0
90 stars 22 forks source link

diff_mq_2_1 failing on ppc64el #144

Closed d-torrance closed 2 months ago

d-torrance commented 3 months ago

I just uploaded msolve 0.6.6 to Debian, and one of the tests is failing during the 64-bit PowerPC build:

FAIL: test/diff/diff_mq_2_1.sh
==============================

Warning: this part of the code has not been tested intensively
Something should be checked
3c3
< 2, 
---
> 1, 
7,8c7,8
< [[2,
< [20, 6, 1]],
---
> [[1,
> [159, 1]],
FAIL test/diff/diff_mq_2_1.sh (exit status: 42)

Full log: https://buildd.debian.org/status/fetch.php?pkg=msolve&arch=ppc64el&ver=0.6.6-1&stamp=1719514089&file=log

ederc commented 3 months ago

@mohabsafey As far as I can tell the above warning is coming from some part of your new code. Any idea why this might run into this branch on PowerPC? I cannot reconstruct this problem on x64 or arm.

mohabsafey commented 3 months ago

I will have a look at this next week

d-torrance commented 3 months ago

A subsequent ppc64el build was successful. Is the algorithm not deterministic?

mohabsafey commented 2 months ago

Nothing probabilistic is used normally for such an example. I am still investigating

ederc commented 2 months ago

Issue is fixed via #154.

We are preparing a new minor release.