Re: [fricas-devel] Re: Project website

Arthur Norman <[email protected]> Thu, 6 Feb 2025 09:58:26 +0000
Newsgroups gmane.comp.mathematics.axiom.devel,gmane.comp.mathematics.algebra.fricas.devel
Message-ID <[email protected]>
> I mentioned the demise of Axiom on this list as it seemed like some might
> find it an interesting event if only for historical reasons.
> Tim

It is absolutely that. But one possibility for software is the chance (not 
necessarily huge, but still there) of a Phoenix Event where a new piece of 
work emerges from what may have looked like mere charred remains of the 
previous one. If a small group from a younger generation started from what 
you have now they might have different priorities from yours, but one 
might hope that the literate style you have got things on might make it 
easier for them to get going than would otherwise be the case.
A "30 year horizon" surely involves a project being reinvented and 
reforged anew and in legend the new players are typically not just ones 
who have been easy epprentices of the old master!

So having a reasonably definitive "here lies" archive with at least 
workable build scripts and pointers to the easier tasks that a 
hypothetical keen new generation could cut their teel on would be good.

I mostly look after Reduce these days. You have described the sort of 
stuff I do in terms of "product" but I do not think that way - I think in 
terms of "service" so that those whose research (or develpment!) is in 
physics or engineering etc can use Reduce as a tool. So I get a 
research-buzz second hand if you like. But as regards "dead" projects I 
note that Albert Rich had been working on a pretty individual project 
where the concept was to see how much of computer algebra could be 
expressed as rewrite rules (rather than in imperative style). You do not 
need agree that this was going to succeed - just that he spent much time 
on it. He died a year ago. There is a sensible snapshot of his "RUBI" 
indefinite integration stuff and it is a snapshot not a perfact version 
since he expired while still working! But I (among others) have been 
having a go at reviving it in ways that are not at all all in the 
direction he was working. RUBI is a lot smaller than Axiom but maybe 
somebody will be able to pluck a component from Axiom for good use 
elsewhere. And again if they do it will be a really interesting test of 
the literate philosophy to see how that helps them!

Regards

Arthur (from ages ago when Axiom was shipped by NAG)