broken FriCAS 1.3.8 install with ecl on Fedora 34

[Dima Pasechnik]

basically, no floating point support, no polynomials - due to fas files

SMP.fas and FLOAT.fas absent.

Indeed, there is no FLOAT.fas:

$ ls /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLO*.fas
/tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLOATCP.fas  /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLOATRP.fas

and no SMP.fas:

 ls /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMP*.fas
/tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMPCOER.fas  /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMPEXPR.fas

Here is what I get at the FriCAS prompt:

1) -> x^2

 
   >> System error:
   Filesystem error with pathname #P"/tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMP.fas".
Either
 1) the file does not exist, or
 2) we are not allowed to access the file, or
 3) the pathname points to a broken symbolic link.

(1) -> 0.5*2
 
   >> System error:
   Filesystem error with pathname #P"/tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLOAT.fas".
Either
 1) the file does not exist, or
 2) we are not allowed to access the file, or
 3) the pathname points to a broken symbolic link.

(1) -> 2+2

   (1)  4

                                                        Type: PositiveInteger

This is vanilla FriCAS 1.3.8 built with ecl 21 and the standard gcc, 11-3.1

The full startup message:

$ ./bin/fricas
(HyperDoc) Cannot connect to the X11 server!
;;; Loading #P"/usr/lib64/ecl-21.2.1/cmp.fas"
Starting interpsys
spad = "/tmp/lib/fricas/target/x86_64-linux-gnu"
   Re-reading compress.daase   Re-reading interp.daase
   FriCAS initialization: interpreter
   FriCAS initialization: database
   FriCAS initialization: constructors
   FriCAS initialization: history
                       FriCAS Computer Algebra System
                            Version: FriCAS 1.3.8
                   Timestamp: Wed 25 Jan 14:06:13 GMT 2023
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
 
   Re-reading compress.daase   Re-reading interp.daase
   Re-reading operation.daase
   Re-reading browse.daase
   Re-reading category.daase
Initial getdatabase
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FR.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SUP2.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/TBAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/RETRACT-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/RCAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/UDPO.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NONE.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/UPOLYC2.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/PRIMES.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SETCAT-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/INDE.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/QFCAT-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/POLY.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ELTAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/PDRING-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SET.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/UPOLYC-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FARRAY.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMP.fas..skipped.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/POLYCAT-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/DIFEXT-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/IFARRAY.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/AMR-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FAMR-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/DIVRING-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLINEXP-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/IVECTOR.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/IARRAY1.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/LA.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/LO.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/BOOLEAN.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FIELD-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/VECTOR.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/IDPO.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/AGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/PR.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FM.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NIL.fas..skipped.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NIL.fas..skipped.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SAOS.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SUP.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FRAC.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/CLAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/HOAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/REPSQ.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/INS-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ABELSG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ALIST.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ORDRING-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NIL.fas..skipped.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SYMBOL.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/UFD-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/EUCDOM-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/IXAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/GCDDOM-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NIL.fas..skipped.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/DIFRING-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NIL.fas..skipped.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/REF.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/URAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ORDSET-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ABELGRP-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ALGEBRA-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/MODULE-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NIL.fas..skipped.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SRAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ABELMON-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ELAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/PI.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/STAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ISTRING.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/ILIST.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/LSAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/LNAGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/CHAR.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/STRING.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NNI.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SINT.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/A1AGG-.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/NIL.fas..skipped.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/PRIMARR.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/INT.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/LIST.fas..loaded.
   preloading /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/OUTFORM.fas..loaded.

before fricas-restart
openServer result 0
                       FriCAS Computer Algebra System
                            Version: FriCAS 1.3.8
                   Timestamp: Wed 25 Jan 14:06:13 GMT 2023
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
 

-----------------

Any idea what it could be?

Dima

[Waldek Hebisch]

On Wed, Jan 25, 2023 at 10:10:23AM -0800, Dima Pasechnik wrote:
> basically, no floating point support, no polynomials - due to fas files
> SMP.fas and FLOAT.fas absent.
>
> Indeed, there is no FLOAT.fas:
>
> $ ls /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLO*.fas
> /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLOATCP.fas
> /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/FLOATRP.fas
>
> and no SMP.fas:
>
> ls /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMP*.fas
> /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMPCOER.fas
> /tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMPEXPR.fas
>
> Here is what I get at the FriCAS prompt:
>
> 1) -> x^2
>
> >> System error:
> Filesystem error with pathname
> #P"/tmp/lib/fricas/target/x86_64-linux-gnu/algebra/SMP.fas".
> Either
> 1) the file does not exist, or
> 2) we are not allowed to access the file, or
> 3) the pathname points to a broken symbolic link.

<snip>

> Any idea what it could be?

Looks like undetected build/instal failure. Startup log is rather
uninteresting here: when those files are missing those are
exactly expected error message. To diagnose one should look
at build log. First, I would suggest to get float.spad and
multpoly.spad from source tarball and try:

)compile float.spad
)compile multpoly.spad

This should produce bunch of directories including FLOAT.NRLIB
and SMP.NRLIB. Inside FLOAT.NRLIB there should be FLOAT.fas,
inside SMP.NRLIB there should be SMP.fas. In correctly
working FriCAS newly compiled files will be used in preference
to files from installation, so if the above compile commands
worked float/poly things should work. More likely you will
see some failure message. Anyway, this should localize where
the problem is (install or compile).

--
Waldek Hebisch

[Dima Pasechnik]

Thanks for the reply.
It turns out that on this machine there were a number of aliases set,
e.g. "rm" was aliased to "rm -i".
And this broke the build in this quite unpleasant way.

Perhaps one should check that hand-written build scripts (autoconf etc
are clever enough to explicitly put "rm -f"
everywhere) in FriCAS don't use "rm" without "-f".
(there is at least one such place in configure.ac - but it doesn't
look like the one that caused all this havoc)

Cheers
Dima

> --
> 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...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/20230125200115.vwofjk5q65tcbpw2%40fricas.math.uni.wroc.pl.