If I disable PARI then check_cas passes successfully without any changes needed.
We're using PARI 2.11.0-1 which was released to Debian a few months ago.
La recherche a retourné 36 résultats
Aller sur la recherche avancée
- ven. sept. 07, 2018 3:18 am
- Forum : Giac
- Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
- Réponses : 8
- Vues : 4987
- jeu. sept. 06, 2018 4:22 am
- Forum : Giac
- Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
- Réponses : 8
- Vues : 4987
Re: chk_cas hangs on armv7 hard-float (Debian armhf)
If it helps, here is a backtrace of all threads during the hang (scroll a bit down for the backtrace): (sid_armhf-dchroot)infinity0@amdahl:~/giac/check$ ../src/icas testcas4 2>/dev/null & [1] 23094 (sid_armhf-dchroot)infinity0@amdahl:~/giac/check$ 1, 1, 0, 0, GF(2,a^2+a+1,[a,FF],undef), ((1 % 2)*x+1...
- jeu. sept. 06, 2018 4:10 am
- Forum : Giac
- Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
- Réponses : 8
- Vues : 4987
Re: chk_cas hangs on armv7 hard-float (Debian armhf)
I have a very strange minimal example which exhibits the failure: is_prime(9856989898997); is_prime(1999); is_prime(25); is_prime(97160249868928888261606009); FF:=GF(2,2,['a','FF']); factor(x^3-1,FF(a)); F4:=GF(2,2,['j','F4']); l:=[0,F4(j)]; ([u,v]$(u=l))$(v=l); factor(x^4+1,exp(i*pi/4)); factor(x^4...
- mar. août 07, 2018 7:09 am
- Forum : Giac
- Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
- Réponses : 8
- Vues : 4987
Re: chk_cas hangs on armv7 hard-float (Debian armhf)
It sometimes runs successfully, but usually hangs. When it hangs and I press ctrl-C, it then segfaults. The hang occurs usually when calculating factor(x^4+1,exp(i*pi/4)); near the bottom of testcas - I see the answer to the previous line simplify(det(B)); but not factor(..). However sometimes it wi...
- sam. août 04, 2018 6:52 am
- Forum : Giac
- Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
- Réponses : 8
- Vues : 4987
chk_cas hangs on armv7 hard-float (Debian armhf)
https://buildd.debian.org/status/fetch.php?pkg=giac&arch=armhf&ver=1.4.9.69%2Bdfsg1-1%7Eexp2&stamp=1533296974&raw=0 PASS: chk_partfrac PASS: chk_factor PASS: chk_geo PASS: chk_limit PASS: chk_integrate PASS: chk_fhan3 PASS: chk_fhan2 PASS: chk_xavier PASS: chk_morley_demo PASS: chk_fhan0 PASS: chk_f...
- jeu. août 02, 2018 8:03 am
- Forum : Xcas devel
- Sujet : TeX errors building the documentation
- Réponses : 3
- Vues : 5834
Re: TeX errors building the documentation
For the "no BoundingBox" error, the fix is to replace
with
as described here https://tex.stackexchange.com/questions ... of-graphic
Code : Tout sélectionner
\usepackage{graphicx}
Code : Tout sélectionner
\usepackage[dvipdfmx]{graphicx} \usepackage{bmpsize}
- jeu. août 02, 2018 7:30 am
- Forum : Xcas devel
- Sujet : TeX errors building the documentation
- Réponses : 3
- Vues : 5834
Re: TeX errors building the documentation
Looks like "Undefined control sequence" is due to our hevea 2.30 generating "\product" instead of "\prod" and patching this away with a quick sed expression fixes this particular problem.
Will try to chase down the other errors...
Will try to chase down the other errors...
- jeu. août 02, 2018 4:49 am
- Forum : Xcas devel
- Sujet : TeX errors building the documentation
- Réponses : 3
- Vues : 5834
TeX errors building the documentation
Hi, I'm having problems building the documentation, using the latest TeX and HeVeA (2.30) packages from Debian unstable. Running hevea -fix algo [..] Fixpoint reached in 2 step(s) Now, I am running imagen for you RESOLUTION: 100 This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2019/dev/Debia...
- ven. juil. 21, 2017 3:04 pm
- Forum : Giac
- Sujet : segfaults on several non-x86 architectures
- Réponses : 26
- Vues : 30360
Re: segfaults on several non-x86 architectures
By the way I think you missed patching some files in your changeset. Equation.cc is not in trac, but the other two files are, sym2poly.cc and usual.cc.
- ven. juil. 21, 2017 2:18 pm
- Forum : Giac
- Sujet : segfaults on several non-x86 architectures
- Réponses : 26
- Vues : 30360
Re: segfaults on several non-x86 architectures
Thanks! OK, in that case I will patch the test to expect two possible outputs - something like #! /bin/sh unset LANG ../src/icas TP16-sol.cas > TP16.tst diff TP16.tst TP16-sol.cas.out1 || diff TP16.tst TP16-sol.cas.out2 It is still a bit weird why the difference only occurs on arm64 now - I have alw...
- jeu. juil. 20, 2017 1:08 pm
- Forum : Giac
- Sujet : segfaults on several non-x86 architectures
- Réponses : 26
- Vues : 30360
Re: segfaults on several non-x86 architectures
Another strange fact is that before (presumably when running the arm64 build on a 39-bit virtual address kernel) I did still have to retain that patch, and this gave me a clean test run. So this output difference might be related to these 39-bit vs 48-bit pointers, somehow.
- jeu. juil. 20, 2017 12:50 pm
- Forum : Giac
- Sujet : segfaults on several non-x86 architectures
- Réponses : 26
- Vues : 30360
Re: segfaults on several non-x86 architectures
Someone on the Debian bug tracker has a fix for this issue. I've confirmed that it works. However, there is one more problem that I need to figure out before I can upload it. On Debian we have to patch the expected output of chk_fhan16 like this: --- a/check/TP16-sol.cas.out1 +++ b/check/TP16-sol.ca...
- mar. juil. 04, 2017 7:50 pm
- Forum : Giac
- Sujet : segfaults on several non-x86 architectures
- Réponses : 26
- Vues : 30360
Re: segfaults on several non-x86 architectures
Ah, also the kernel was upgraded from 3.16.43 to 4.9.30. (The new Debian stable, "stretch" that was released a few weeks ago.) Perhaps you could reproduce this yourself in QEMU, with Debian stretch.
- mar. juil. 04, 2017 7:38 pm
- Forum : Giac
- Sujet : segfaults on several non-x86 architectures
- Réponses : 26
- Vues : 30360
Re: segfaults on several non-x86 architectures
Unfortunately, I also get segfaults with 1.2.3-47 today. However 10 days ago, I experienced a clean test run for 1.2.3-51 on the sagemath trac. During that time, none of xcas' dependencies were updated in Debian. It may be that there is an issue with giac in this newer kernel, with the stack-clash s...
- mar. juil. 04, 2017 5:15 pm
- Forum : Giac
- Sujet : segfaults on several non-x86 architectures
- Réponses : 26
- Vues : 30360
Re: segfaults on several non-x86 architectures
Unfortunately, it seems that something changed between 1.2.3-47 and 1.2.3-53 so that it segfaults on arm64 again. (ppc64el still works) All tests fail in this build log , however I can reproduce the segfault just by running src/icas (edited to run gdb) after the build: (sid_arm64-dchroot)infinity0@a...