La recherche a retourné 36 résultats

par infinity0
ven. sept. 07, 2018 3:18 am
Forum : Giac
Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
Réponses : 8
Vues : 4861

Re: chk_cas hangs on armv7 hard-float (Debian armhf)

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.
par infinity0
jeu. sept. 06, 2018 4:22 am
Forum : Giac
Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
Réponses : 8
Vues : 4861

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...
par infinity0
jeu. sept. 06, 2018 4:10 am
Forum : Giac
Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
Réponses : 8
Vues : 4861

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...
par infinity0
mar. août 07, 2018 7:09 am
Forum : Giac
Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
Réponses : 8
Vues : 4861

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...
par infinity0
sam. août 04, 2018 6:52 am
Forum : Giac
Sujet : chk_cas hangs on armv7 hard-float (Debian armhf)
Réponses : 8
Vues : 4861

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...
par infinity0
jeu. août 02, 2018 8:03 am
Forum : Xcas devel
Sujet : TeX errors building the documentation
Réponses : 3
Vues : 5725

Re: TeX errors building the documentation

For the "no BoundingBox" error, the fix is to replace

Code : Tout sélectionner

\usepackage{graphicx}
with

Code : Tout sélectionner

\usepackage[dvipdfmx]{graphicx} \usepackage{bmpsize}
as described here https://tex.stackexchange.com/questions ... of-graphic
par infinity0
jeu. août 02, 2018 7:30 am
Forum : Xcas devel
Sujet : TeX errors building the documentation
Réponses : 3
Vues : 5725

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...
par infinity0
jeu. août 02, 2018 4:49 am
Forum : Xcas devel
Sujet : TeX errors building the documentation
Réponses : 3
Vues : 5725

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...
par infinity0
ven. juil. 21, 2017 3:04 pm
Forum : Giac
Sujet : segfaults on several non-x86 architectures
Réponses : 26
Vues : 30338

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.
par infinity0
ven. juil. 21, 2017 2:18 pm
Forum : Giac
Sujet : segfaults on several non-x86 architectures
Réponses : 26
Vues : 30338

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...
par infinity0
jeu. juil. 20, 2017 1:08 pm
Forum : Giac
Sujet : segfaults on several non-x86 architectures
Réponses : 26
Vues : 30338

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.
par infinity0
jeu. juil. 20, 2017 12:50 pm
Forum : Giac
Sujet : segfaults on several non-x86 architectures
Réponses : 26
Vues : 30338

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...
par infinity0
mar. juil. 04, 2017 7:50 pm
Forum : Giac
Sujet : segfaults on several non-x86 architectures
Réponses : 26
Vues : 30338

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.
par infinity0
mar. juil. 04, 2017 7:38 pm
Forum : Giac
Sujet : segfaults on several non-x86 architectures
Réponses : 26
Vues : 30338

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...
par infinity0
mar. juil. 04, 2017 5:15 pm
Forum : Giac
Sujet : segfaults on several non-x86 architectures
Réponses : 26
Vues : 30338

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...