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

-- 
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 on the web visit 
https://groups.google.com/d/msgid/fricas-devel/f9b7a371-2899-4dfc-8539-6a1dd524cfc0n%40googlegroups.com.

Reply via email to