Rainer Schöpf committed [r7357] on Code

PSL disassembler for x64: correct display of call instruction with

Rainer Schöpf committed [r7356] on Code

PSL for x64: correct a subtle bug in the compiler that came with one of the latest changes.

Rainer Schöpf committed [r7355] on Code

PSL compiler for aarch64: implement CINV, CCMN, CCMP instructions

Francis Wright committed [r7354] on Code

Common Lisp: fix .bat files

Daniel Volinski posted a comment on discussion Open Discussion

I downloaded the paper Algebraic computing and the Newman–Penrose formalism by Esteban and Ramos, referenced also in the REDUCE bibliography page: https://reduce-algebra.sourceforge.io/bibliography.php under letter E. This PDF contains a huge REDUCE file which has become a nightmare to convert to text: "The algorithm's input is the null tetrads. Then, a straightforward procedure is followed. We illustrate the procedure with the following program which is self-explanatory". Does anyone have this file...

Rainer Schöpf committed [r7353] on Code

PSL compiler for aarch64: implement conditional select instructions (CSEL etc.)

Francis Wright committed [r7352] on Code

Common Lisp: implement --no-rcfile

Rainer Schöpf committed [r7351] on Code

Minor change to PSL kernel code

Rainer Schöpf committed [r7350] on Code

PSL whitespace and comment cleanup

Rainer Schöpf committed [r7349] on Code

PSL for x64: Reinstate a line in lap code that was accidentally deleted in last checkin.

Rainer Schöpf committed [r7348] on Code

Add a couple of citations to bibliography

Rainer Schöpf committed [r7347] on Code

PSL disassembler for x64: output improvement

Rainer Schöpf committed [r7346] on Code

Forgot to include compiled code in last checkin

Rainer Schöpf committed [r7345] on Code

PSL for x64: add a couple of missing cases in code generation,

Rainer Schöpf committed [r7344] on Code

PSL compiler for aarch64: be more careful when using temporary registers.

Rainer Schöpf committed [r7343] on Code

PSL: correct an error in the lisp disassembler for aarch64

Rainer Schöpf committed [r7342] on Code

PSL synchronize changes to x64 disassembler for PSL

Rainer Schöpf committed [r7341] on Code

PSL for x86_64: Implement missing addressing modes for all Intel 64 bit

Rainer Schöpf committed [r7340] on Code

PSL fasl files have a limit for the number of IDs that can be referenced in the code, namely about 6100 ids. However, this limit is not enforced, the result of

REDUCE updated /snapshot_2026-03-08/linux64/reduce-freestanding_2026-03-08_x86_64.tar.bz2

REDUCE updated /snapshot_2026-03-08/linux64/reduce-complete_2026-03-08_amd64.tgz

REDUCE updated /snapshot_2026-03-08/linux64/reduce-complete-2026_03-08.x86_64.rpm

REDUCE updated /snapshot_2026-03-08/linux64/reduce-complete_2026-03-08_amd64.deb

Eberhard Schruefer committed [r7339] on Code

Excalc: Correct a problem with calculating the commutator containing frame vectors. Fix a typo in the manual. Add the display of a defined frame when calling the statement displayframe.

Rainer Schöpf committed [r7338] on Code

PSL: correction for Windows: in r7017 removal of setjmp of longjmp was intended, but not committed.

Rainer Schöpf committed [r7337] on Code

PSL on Intel Mac: correct error introduced in recent checkin

REDUCE released /snapshot_2026-03-08/lnxtest/reduce-freestanding_2026-03-14_x86_64.tar.bz2

REDUCE released /snapshot_2026-03-08/lnxtest/reduce-complete_2026-03-14_amd64.tgz

REDUCE released /snapshot_2026-03-08/lnxtest/reduce-complete-2026_03-14.x86_64.rpm

REDUCE released /snapshot_2026-03-08/lnxtest/reduce-complete_2026-03-14_amd64.deb

Daniel Volinski posted a comment on ticket #191

Hi Arthur, Thank you for your response! Daniel Volinski

Daniel Volinski posted a comment on ticket #192

Hi Eberhard, Yes, it works fine. I put both procedures after loading EXCALC. I run Example 13, and I get both the frame and the coframe when issuing the command "displayframe". Moreover, the commutator of the dual frame displays results correctly as the documentation of this example. Thank you. Daniel Volinski

Eberhard Schruefer posted a comment on ticket #192

Hi Daniel, Maybe you can help with testing? The two following procedures should fix the problem with the commutator and would add printing of the frame when present. Please read them in right after you loaded excalc. symbolic procedure frame u; begin scalar y; putform(list(car u,nil),-1); flag(list car u,'covariant); basisvectorl!* := for each j in indxl!* collect !*a2k list(car u,lowerind j); if null dbaseform2base2form then return; commutator!-of!-framevectors := for each j in pickupwedges dbaseform2base2form...

Rainer Schöpf committed [r7336] on Code

Add a comment about the discussion on the mailing list.

Arthur Norman posted a comment on ticket #191

On Sat, 14 Mar 2026, Daniel Volinski wrote: Thank you Arthur for your response. Where exactly can I find documentation on symbolic mode function remflag and others like it, that I can use in REDUCE but do not appear in the REDUCE documentation? Daniel Volinski Using those things means you are moving down into the implementer or maintainer world, so transcribing particular examples you see in working code is OK but to go further you would in general need to be happy reading the Reduce source code...

Daniel Volinski posted a comment on ticket #191

Thank you Arthur for your response. Where exactly can I find documentation on symbolic mode function remflag and others like it, that I can use in REDUCE but do not appear in the REDUCE documentation? Daniel Volinski

Arthur Norman posted a comment on ticket #191

On Fri, 13 Mar 2026, Daniel Volinski wrote: Hi Eberhard, I was not able to find any mention of the command "remflag" in the REDUCE User's manual (June 23, 2025), that you use in your script: "remflag('(u a),'covariant);" Daniel Volinski "remflag" is a function from "symbolic mode" ie the implmentation level so you may find it rentioned in the explanation of "Standard Lisp". Names (like u and a here) can be "flagged" and in excalc a flag "covariant" is probably a concept you can guess the intent of....

Daniel Volinski posted a comment on ticket #191

Hi Eberhard, I was not able to find any mention of the command "remflag" in the REDUCE User's manual (June 23, 2025), that you use in your script: "remflag('(u a),'covariant);" Daniel Volinski

Eberhard Schruefer posted a comment on ticket #192

Hi Daniel, Thank you very much for your report. Those are very welcome. Indeed there is a typo in the documentation. I agree that there should be the possibility to display a 'frame' definition if present. I will add a statement for that. And finally, the result for the commutator is a bug that sneaked in over time. Hopefully, I find some time during next week to correct this. Eberhard

Daniel Volinski created ticket #192

Example 13 of EXCALC manual

Rainer Schöpf committed [r7335] on Code

Rename experimental test 2019-07-30-sub-with-df so that it is not run as part of the test suite

Rainer Schöpf committed [r7334] on Code

PSL: Minor corrections to bpsl on Intel Macs, no real code change.

Daniel Volinski posted a comment on ticket #191

Hi Eberhard, Thank you for the answer and sorry for my confusion. Daniel Volinski

Eberhard Schruefer posted a comment on ticket #191

Hi Daniel, This is more of a question than a bug. If you are looking for the equation of geodesics, you could do it like in the snippet below. There it is for a Schwarzschild like geometry. Eberhard load excalc; % Define the velocity and acceleration components. Those should bear % contravariant indices. pform {u(k), a(k)}=0; remflag('(u a),'covariant); factor u; % definition of a coframe for Schwarzschild: coframe e t = sqrt(1 - 2*m/r)*d t, e r = 1/sqrt(1 - 2*m/r)*d r, e ph = r*sin(th)*d ph, e th...

Daniel Volinski created ticket #191

EXCALC geodesic equations

Francis Wright committed [r7333] on Code

Common Lisp: fix handling of lambda, plus, times

Rainer Schöpf committed [r7332] on Code

Corrected an oversight when replacing constant 8150 by a compiler constant in fasl-decls.sl

Rainer Schöpf committed [r7331] on Code

PSL for aarch64: more minor updates to kernel code

REDUCE released /snapshot_2026-03-08/linux64/reduce-complete_2026-03-08_amd64.tgz

REDUCE released /snapshot_2026-03-08/linux64/reduce-freestanding_2026-03-08_x86_64.tar.bz2

REDUCE released /snapshot_2026-03-08/linux64/reduce-complete-2026_03-08.x86_64.rpm

REDUCE released /snapshot_2026-03-08/linux64/reduce-complete_2026-03-08_amd64.deb

REDUCE released /snapshot_2026-03-08/windows/wincsl_2026-03-08.cab

REDUCE released /snapshot_2026-03-08/windows/Reduce-Setup_2026-03-08.exe

REDUCE released /snapshot_2026-03-08/windows/winpsl64_2026-03-08.cab

REDUCE released /snapshot_2026-03-08/macintosh/Reduce-source_2026-03-07.tar.bz2

REDUCE released /snapshot_2026-03-08/macintosh/Reduce-snapshot_2026-03-07.dmg

REDUCE released /snapshot_2026-03-08/rpi64/reduce-freestanding_2026-03-08_aarch64.tar.bz2

REDUCE released /snapshot_2026-03-08/rpi64/reduce-complete_2026-03-08_arm64.tgz

REDUCE released /snapshot_2026-03-08/rpi64/reduce-complete_2026-03-08_arm64.deb

REDUCE released /snapshot_2026-03-08/rpi64/reduce-complete-2026_03-08.arm64.rpm

Rainer Schöpf committed [r7330] on Code

Some progress on the new PSL memory model

Rainer Schöpf committed [r7329] on Code

PSL code generation for x64:

Rainer Schöpf committed [r7328] on Code

PSL disassemble for x64: imporvce printing of indexed adressing

Arthur Norman committed [r7327] on Code

Further attempts to get to a state where building on an INtel Mac will work.

Arthur Norman committed [r7326] on Code

Mac Intel does not cope with gcc pragmas to support SSE extensions etc.

Arthur Norman committed [r7325] on Code

Further adjustments to CSL prompoted by checking on the Mac.

Arthur Norman committed [r7324] on Code

As pera nice big report, there was stuff in CSL's arith.h that build OK

Arthur Norman committed [r7323] on Code

A necessary update to make-c-code.red following my previous checkin.

Arthur Norman posted a comment on ticket #190

Thanks - I will check! That is an area I have been adjusting recently. On Fri, 6 Mar 2026, Marco Ferraris wrote: [bugs:#190] Compiling r7313 through r7319 CSL Reduce on X86_64 Big Sur fails Status: open Group: Created: Fri Mar 06, 2026 08:31 AM UTC by Marco Ferraris Last Updated: Fri Mar 06, 2026 08:31 AM UTC Owner: nobody Attachments: r7319-csl-uni.bug.txt (2.4 kB; text/plain) Hi. Compiling r7319 CSL-Reduce on my M1 MacBook Air running macOS Tahoe 26.3.1 works fine. Compiling r7319 PSL-Reduce on...

Rainer Schöpf committed [r7322] on Code

Minor updates to PSL for aarch64 on Linux, mostly comments and whitespace

Arthur Norman committed [r7321] on Code

Ha Ha (in a hollow tone). CSL.

Marco Ferraris created ticket #190

Compiling r7313 through r7319 CSL Reduce on X86_64 Big Sur fails

Rainer Schöpf committed [r7320] on Code

PSL: remove unnecessary whitespace or comments, no change to code

Rainer Schöpf committed [r7319] on Code

PSL: a small update to merge the changes of the aarch64 version for Linux

Rainer Schöpf committed [r7318] on Code

PSL: Set a default heap size of 2G for 64 bit systems

Francis Wright committed [r7317] on Code

regressions/2014-03-17-utf8-in-list

Arthur Norman committed [r7316] on Code

Check in a version of this file.

Francis Wright committed [r7315] on Code

Common Lisp: support # codes; improve building

Arthur Norman committed [r7314] on Code

Comments in arith-quad regarding C++23 and <stdfloat>. That should at some

Arthur Norman committed [r7313] on Code

Here I put a load of stubs into CSL for 128-bit float elementary functions.

REDUCE released /snapshot_2024-08-12/macintosh/README.md

REDUCE released /snapshot_2024-08-12/macintosh/Reduce-snapshot_6860.dmg

Francis Wright committed [r7312] on Code

Common Lisp: fix testing and trace

Arthur Norman committed [r7311] on Code

A small change that should allow CSL to watch the terminal for ^C and ^G

Rainer Schöpf committed [r7310] on Code

PSL tool helferlein: improved printing on Intel

Rainer Schöpf committed [r7309] on Code

PSL stringio update: I suspect it never did really work - remove compiled code

Rainer Schöpf committed [r7308] on Code

PSL: In some cases an arithmetic function can trigger a garbage collection when an integer is converted into a bignum.

Rainer Schöpf committed [r7307] on Code

Better printing of addresses in helferlein tool

Rainer Schöpf committed [r7306] on Code

Correct a bug in the code generation fo the lisp compiler for aarch64

Rainer Schöpf committed [r7305] on Code

Correction to PSL disassembler for aarch64

Rainer Schöpf committed [r7304] on Code

PSL: reset gensym counter before dumping the Reduce image.

Rainer Schöpf committed [r7303] on Code

PSL: quick fix for aarch64

Arthur Norman committed [r7302] on Code

The files cslbase/*q.cpp are derived from the core math project which

Rainer Schöpf committed [r7301] on Code

A bug fix and improvement for the PSL aarch64 lisp disassembler

Francis Wright committed [r7300] on Code

Common Lisp: improve efficiently; build on multiple Lisps

Arthur Norman committed [r7299] on Code

Put things so that the CSL "--with-arithlib" option builds again.

Francis Wright committed [r7298] on Code

Add SBCL profiling support to the test framework

Francis Wright committed [r7297] on Code

Common Lisp: revise package structure

Rainer Schöpf committed [r7296] on Code

PSL compiler: remove a couple of commented out code lines