gcl fails fricas tests

Qian Yun <[email protected]> Tue, 4 Feb 2025 22:14:33 +0800
Newsgroups gmane.comp.mathematics.algebra.fricas.devel,gmane.lisp.gcl.devel
Message-ID <[email protected]>
Hi Camm,

Thanks for your recent GCL fixes for FriCAS.

Before your recent fixes, GCL fails to build fricas
on arm64 ubuntu-24.04,
(
https://github.com/oldk1331/fricas/actions/runs/13005737431/job/36272189339
when compiling OCAMON.spad:
    >> System error:
    Condition in SETQ [or a callee]: INTERNAL-SIMPLE-ERROR: Value stack
overflow.
)

But after your recent fixes, now the build passes on arm64,
but it fails at these tests:
(
https://github.com/oldk1331/fricas/actions/runs/13136618548/job/36653370009
https://github.com/fricas/fricas/actions/runs/13136970950/job/36654558469

src/input/files.input:
Aborted                 (core dumped)

 check failed
 2 failing files:

 eltuniseg.output: 15
 mantepse.output: 4
)

These tests also fail on x86_64, where they did not fail before.

- Best,
- Qian

-- 
You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/74d67700-5c8b-4ce1-a4ba-f16a3684d269%40gmail.com.