Re: [fricas-devel] Convertion of types to OutputFrom

2023-11-26 Thread Waldek Hebisch
On Sun, Nov 26, 2023 at 09:36:34PM +0100, Ralf Hemmecke wrote: > With the new code I now get > > %%% (363) -> ((INT->String)::OutputForm) pretend SExpression > >(363) (PAREN (CONCAT Integer -> String)) > > Why have you added "PAREN" to the OutputForm? Isn't that too much? Well, we always

Re: [fricas-devel] Convertion of types to OutputFrom

2023-11-26 Thread Ralf Hemmecke
With the new code I now get %%% (363) -> ((INT->String)::OutputForm) pretend SExpression (363) (PAREN (CONCAT Integer -> String)) Why have you added "PAREN" to the OutputForm? Isn't that too much? Furthermore, I see that you have changed the output in fmt1d and fmt2d for -> to be "->"

Re: [fricas-devel] Unicode vs ASCII

2023-11-26 Thread Waldek Hebisch
On Sun, Nov 26, 2023 at 05:20:11PM +0100, Grégory Vanuxem wrote: > Hi here, > > I have read some discussions about using Unicode. Frankly speaking, > that reminds me of the past, when Debian developers did not want to > support 64 bits by default instead of 32 bits. They were wrong. From > my

[fricas-devel] Unicode vs ASCII

2023-11-26 Thread Grégory Vanuxem
Hi here, I have read some discussions about using Unicode. Frankly speaking, that reminds me of the past, when Debian developers did not want to support 64 bits by default instead of 32 bits. They were wrong. From my point of view Unicode is a must have. Otherwise the Lisp subsystem is outdated,

Re: Fwd: [fricas-devel] Extentions to symbols and strings

2023-11-26 Thread Ralf Hemmecke
On 11/26/23 15:15, Waldek Hebisch wrote: Attached is code defining Greek symbols organized as a package. There is a trailing space at the end of the file. Another thing that I do not quite like is the function names of capital letters. I am not a fan of having Alpha, Beta, etc. since that

Re: Fwd: [fricas-devel] Extentions to symbols and strings

2023-11-26 Thread Bill Page
On Sun, 26 Nov 2023 at 09:15, Waldek Hebisch wrote: > > Attached is code defining Greek symbols organized as a package. > > Note: ucodeToString takes Unicode code point as argument, so > I had to decrease all character codes by 1 (index used in > original code adds 1). > > Extra remark: Some

Re: [fricas-devel] FriCAS banner

2023-11-26 Thread Grégory Vanuxem
Happy to read you. Really. I was afraid of COVID. I am sensible, sorry.That's all. Le dim. 26 nov. 2023 à 02:32, Bill Page a écrit : > > Note that in English one would normally write: "built with" (past tense, > irregular) instead of "build with" > > On Sat, Nov 25, 2023, 5:34 PM Waldek

Re: Fwd: [fricas-devel] Extentions to symbols and strings

2023-11-26 Thread Waldek Hebisch
Attached is code defining Greek symbols organized as a package. Note: ucodeToString takes Unicode code point as argument, so I had to decrease all character codes by 1 (index used in original code adds 1). Extra remark: Some capital Greek letters look exactly the same as roman letters. They are

Re: [fricas-devel] Linux portability layer

2023-11-26 Thread Waldek Hebisch
On Sat, Nov 25, 2023 at 10:42:35PM -0800, Tim Daly wrote: > A lot of the portability issues might be solved using this effort: > https://www.matheusmoreira.com/articles/self-contained-lone-lisp-applications > > It provides a lisp covers for all of the unix system calls. Interesting project. But

Re: [fricas-devel] list of unused global variables

2023-11-26 Thread Qian Yun
OK, I'll make the change, not remove the setting variables. About |$gcTimeTotal|: it's useless, the total time spent in GC is returned by "elapsedGcTime()". - Qian On 11/26/23 19:01, Waldek Hebisch wrote: On Sun, Nov 26, 2023 at 05:30:59PM +0800, Qian Yun wrote: The 'XREF' utility provided

Re: [fricas-devel] list of unused global variables

2023-11-26 Thread Waldek Hebisch
On Sun, Nov 26, 2023 at 05:30:59PM +0800, Qian Yun wrote: > The 'XREF' utility provided by CMUCL and SBCL (sb-introspect) doesn't > work very well. The one from Lispworks is better. > > The following list comes from this command and is manually filtered: > > )lisp (do-symbols (s "BOOT") (and

Re: [fricas-devel] FriCAS on Android with SBCL (on termux)

2023-11-26 Thread Qian Yun
I can confirm your error. I was building successfully with 1.3.9 tarball. The problem happens in "OBEY" in "buildLibdb", the problem is the underlying SBCL call (SB-EXT:RUN-PROGRAM "/bin/sh" '("-c" "ls") :INPUT T :OUTPUT T :ERROR T) get SIGNALED and with return code 31. So looks like the

Re: [fricas-devel] list of unused global variables

2023-11-26 Thread Qian Yun
On 11/26/23 17:58, Andrey G. Grozin wrote: On Sun, 26 Nov 2023, Qian Yun wrote: Launch lispworks in this directory, type '(load "fricas")', then type ) lisp (do-symbols (s "BOOT") (and (boundp s) (not (hcl:who-references s)) (not (hcl:who-binds s)) (not (hcl:who-sets s)) (not (constantp

Re: [fricas-devel] list of unused global variables

2023-11-26 Thread Andrey G. Grozin
On Sun, 26 Nov 2023, Qian Yun wrote: Launch lispworks in this directory, type '(load "fricas")', then type ) lisp (do-symbols (s "BOOT") (and (boundp s) (not (hcl:who-references s)) (not (hcl:who-binds s)) (not (hcl:who-sets s)) (not (constantp s)) (print s))) Can ecl do this? I already have

Re: [fricas-devel] list of unused global variables

2023-11-26 Thread Qian Yun
Use this repo https://github.com/oldk1331/fricas0 (Since I was using the free/"Personal" edition of Lispworks, it can't dump image, so can't build fricas the normal way.) Launch lispworks in this directory, type '(load "fricas")', then type )lisp (do-symbols (s "BOOT") (and (boundp s) (not

Re: [fricas-devel] list of unused global variables

2023-11-26 Thread Andrey G. Grozin
On Sun, 26 Nov 2023, Qian Yun wrote: The 'XREF' utility provided by CMUCL and SBCL (sb-introspect) doesn't work very well. The one from Lispworks is better. The following list comes from this command and is manually filtered: )lisp (do-symbols (s "BOOT") (and (boundp s) (not

Re: [fricas-devel] FriCAS on Android with SBCL (on termux)

2023-11-26 Thread Andrey G. Grozin
By the way, termux maxima is built with ecl-23.9.9. Would be good to re-build it with sbcl, it would become faster. I also have reduce in termux. It builds (almost) straightforwardly. fricas will become the 3-rd CAS in termux! Andrey -- You received this message because you are subscribed

[fricas-devel] list of unused global variables

2023-11-26 Thread Qian Yun
The 'XREF' utility provided by CMUCL and SBCL (sb-introspect) doesn't work very well. The one from Lispworks is better. The following list comes from this command and is manually filtered: )lisp (do-symbols (s "BOOT") (and (boundp s) (not (hcl:who-references s)) (not (hcl:who-binds s)) (not

Re: [fricas-devel] FriCAS on Android with SBCL (on termux)

2023-11-26 Thread Andrey G. Grozin
Hello *, I've tried to install fricas trunk on my tablet in termux. sbcl-2.2.3 from https://github.com/bohonghuang/sbcl-termux-build seems to work fine (newer versions have not appeated for quite some time, the author seems to lose interest). Then I've cloned the fricas git trunk. After