I relized that the fricas-aldor interface is currently broken.
(configure --enable-aldor)
To be more exact, the problematic commit is
991f83471e23485f1cb68a78e6b2f02e8d137fba
That innocent looking commit hangs the compilation of the interface when
doing it with make -j8. With -j1 it gives a segfault when compiling
ap/HOMOL.ap, see below.
Interestingly, comparing the output of "cd BUILDDIR/src/aldor; make -j1"
with what happens just one commit before, yields the exact same
compilation commands up to HOMOL.ap.
I'm currently a bit helpless of what exactly causes the problem that
lets aldor jump into a segfault on compiling HOMOL.ap.
Any help is appreciated.
Ralf
======================
commit 991f83471e23485f1cb68a78e6b2f02e8d137fba (HEAD -> bad)
Author: Waldek Hebisch <hebi...@mail.math.uni.wroc.pl>
Date: Sun Jun 26 22:46:49 2022 +0200
Generalize LinearlyExplicitOver
diff --git a/ChangeLog b/ChangeLog
index 7b7c36697..94dd9e341 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2022-06-26 Waldek Hebisch <c...@fricas.math.uni.wroc.pl>
+
+ * src/algebra/catdef.spad: Generalize LinearlyExplicitOver
+
2022-06-26 Waldek Hebisch <c...@fricas.math.uni.wroc.pl>
* src/interp/i-resolv.boot: Add two more special
diff --git a/src/algebra/catdef.spad b/src/algebra/catdef.spad
index 545c9ec9e..866a2c30a 100644
--- a/src/algebra/catdef.spad
+++ b/src/algebra/catdef.spad
@@ -854,7 +854,7 @@ LeftOreRing() : Category == EntireRing with
++ References:
++ Description:
++ An extension ring with an explicit linear dependence test.
-LinearlyExplicitOver(R : Ring) : Category == Ring with
+LinearlyExplicitOver(R : Ring) : Category == RightModule(R) with
reducedSystem : Matrix % -> Matrix R
++ reducedSystem(A) returns a matrix B such that \spad{A x = 0}
and \spad{B x = 0}
++ have the same solutions in R.
===============================
aldor -Wname=fricas -Mno-abbrev -Mpreview -Y al -L
FriCASLib=fricas_HOMOL -fao=ao/HOMOL.ao ap/HOMOL.ap 2>&1 | tee
tmp/HOMOL_ao.out
Segmentation fault
ar r al/libfricas_CHAINC.al ao/lang.ao ao/boolean0.ao ao/minimach.ao
ao/subsetc.ao ao/BASTYPE.ao ao/init_SINT.ao ao/HASHSTAT.ao ao/KOERCE.ao
ao/init_OUTFORM.ao ao/SETCAT.ao ao/init_PI.ao ao/ABELSG.ao
ao/init_NNI.ao ao/ABELMON.ao ao/ABELGRP.ao ao/ATFINAG.ao ao/AGG.ao
ao/ATTWSR.ao ao/ATCS.ao ao/ATNZDIV.ao ao/ATSHMUT.ao ao/ATUNIKN.ao
ao/CABMON.ao ao/COMPAR.ao ao/init_LIST.ao ao/IEVALAB.ao ao/init_EQ.ao
ao/EVALAB.ao ao/PORDER.ao ao/ORDSET.ao ao/HOAGG.ao ao/KONVERT.ao
ao/init_INFORM.ao ao/CLAGG.ao ao/ELTAB.ao ao/ELTAGG.ao ao/IXAGG.ao
ao/MAGMA.ao ao/MAGMAWU.ao ao/SGROUP.ao ao/MONOID.ao ao/NASRNG.ao
ao/NASRING.ao ao/init_UNISEG.ao ao/LNAGG.ao ao/FLAGG.ao ao/A1AGG.ao
ao/AHYP.ao ao/BGAGG.ao ao/DIOPS.ao ao/DIAGG.ao ao/ELAGG.ao ao/KDAGG.ao
ao/RCAGG.ao ao/URAGG.ao ao/STAGG.ao ao/LSAGG.ao ao/TBAGG.ao ao/ALAGG.ao
ao/ALIST.ao ao/APRODC.ao ao/CHARZ.ao ao/init_OMDEV.ao ao/OM.ao ao/AMR.ao
ao/LIST.ao ao/OASGP.ao ao/OAMON.ao ao/OCAMON.ao ao/OAGROUP.ao
ao/ORDRING.ao ao/SEGCAT.ao ao/SEGXCAT.ao ao/SEG.ao ao/ARR2CAT.ao
ao/ATADDVA.ao ao/ATAPPRO.ao ao/ATARBEX.ao ao/ATARBPR.ao ao/ATCANCL.ao
ao/ATCANON.ao ao/ATCUNOR.ao ao/ATMULVA.ao ao/ATRIG.ao ao/ATVCWC.ao
ao/JOINLAT.ao ao/BJOIN.ao ao/MEETLAT.ao ao/BMEET.ao ao/BLAT.ao ao/LAT.ao
ao/DISTLAT.ao ao/BDISTL.ao ao/FINITE.ao ao/LOGIC.ao ao/BOOLEAN.ao
ao/ORDFIN.ao ao/CHAR.ao ao/SETAGG.ao ao/FSAGG.ao ao/CCLASS.ao
ao/CFCAT.ao ao/CHARNZ.ao ao/DIFRING.ao ao/ELEMFUN.ao ao/LORER.ao
ao/init_SUP.ao ao/GCDDOM.ao ao/PID.ao ao/EUCDOM.ao ao/IPC.ao ao/IDPC.ao
ao/FMCAT.ao ao/HYPCAT.ao ao/KOERCEF.ao ao/init_MATRIX.ao
ao/init_VECTOR.ao ao/LINEXP.ao ao/LZSTAGG.ao ao/OAMONS.ao ao/NNI.ao
ao/NONE.ao ao/OINTDOM.ao ao/PDRING.ao ao/init_DFLOAT.ao ao/init_FLOAT.ao
ao/REAL.ao ao/RETRACT.ao ao/init_SYMBOL.ao ao/SAOS.ao ao/SEXCAT.ao
ao/SPFCAT.ao ao/SRAGG.ao ao/STEP.ao ao/STRICAT.ao ao/STRING.ao
ao/TRIGCAT.ao ao/TRANFUN.ao ao/init_FR.ao ao/UFD.ao ao/MATCAT.ao
ao/VECTCAT.ao ao/VECTOR.ao ao/MATRIX.ao ao/OSGROUP.ao ao/ORDMON.ao
ao/PI.ao ao/SINT.ao ao/STREAM.ao ao/UNISEG.ao ao/axlit.ao ao/axextend.ao
ao/HOMOL.ao
ar: creating al/libfricas_CHAINC.al
ar: ao/HOMOL.ao: No such file or directory
make[1]: *** [cliques.mk:4170: al/libfricas_CHAINC.al] Error 1
rm ao/.dir
make[1]: Leaving directory
'/home/hemmecke/backup/git/fricas-bisect/build/991f83471e23485f1cb68a78e6b2f02e8d137fba_2023-02-13_13-09-34/src/aldor'
make: *** [Makefile:440: al/libfricas.al] Error 2
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/7a5ef2ef-76a3-be98-cb0f-ebffcdb4818b%40hemmecke.org.
