Camm,
The "next generation" of Axiom has a few goals that is significantly
reshaping the whole project. I call the effort SANE (a synonym of
rational, judicious, sound, rational). I gave a talk about it at Notre
Dame a few years ago (pre-covid).
There are two streams of mathematical development
Greetings! Just a followup on this old thread.
Debian axiom builds and is installed on riscv64:
https://buildd.debian.org/status/fetch.php?pkg=axiom=riscv64=20170501-12=1676291249=0
There is no 'relaxation' implemented in the linker at the moment. I
have no idea on what performance penalty if
Greetings!
Tim, is it your intention that github serves as the official repository
henceforward? Are you intending to tag releases here, and/or push
tarballs to the website? Debian axiom is using sources from 20170501,
which were available back then in tar form but seem to be gone now. Are
you
