|
From: | Tim Daly |
Subject: | Re: [Axiom-developer] Roadmap |
Date: | Thu, 21 Jul 2016 05:24:50 -0400 |
I have deadlines coming out of my ears, but I'll do what I can! What's the best way to start?PS: did you read the slides from Stein last month? https://plus.google.com/+SagemathCloud/posts/SznVXWHQbyS--On 21 July 2016 at 01:11, Tim Daly <address@hidden> wrote:dozens of CAS started in the 1970-2000s, only Mathematica,I'm trying hard to make Axiom live.updated roadmap or research project in preparation somewhere.has taken over maybe. But I'd be very interested if there is anyears ago but didn't spend enough time looking at it. Sagemath>I've been checking the progress of axiom over the years,somewhat despondently, I probably even installed it 3 or 4
You'll notice that of the many (I made a CD with over 100)
Maple, and Axiom (of the big systems) still seem to be maintained.
Macsyma died when Symbolic died (although you can still run it on
DOS). Maxima, the FOSS version, has not been changed since
2005.
Symbolics Macsyma is what worries me the most. A LOT of
computational mathematicians depend on Mathematica and Maple.
But companies, like Symbolics, die (average less than 15 years).
Maplesoft died (it was bought by a Japanese firm, fortunately).
Soft Warehouse (Derive) died. TI bought it and makes calculators.
What happens when Wolfram goes out of business? Mathematica
can't be given away as software is now considered a "hard asset",
which means it would have to be sold to someone.
If (when?) Maple and Mathematica get withdrawn from the market,
what will become of computational mathematics? What happens
when your code will no longer run?
Open Source is not a solution. Maxima is open source but the only
changes seem to be in autoconf to keep it running. There is no
active development at all.
FOSS projects die when their founders stop working on them.
One of the key reasons is that software is written in tiny files
(as if it had to run on a PDP-11), and stacked up into piles like
sand. This pile-of-sand (POS) approach makes it really hard to
get into an existing project, especially one the size of Axiom
(1.2 million lines of code).
I'm trying to get Axiom to the point where it can be maintained,
modified, and extended by new people. To that end, I've spent
a lot of time converting the system, using Knuth's Literate
Programming idea. The hope is that people will be able to
I want to add your code to the system but I also want to use
your paper (with attribution, of course) to explain the code so
others "have a clue". The raw code is completely opaque.
So, in the near term, the "roadmap" is to try to relate the code
to the literature. I'm trolling the world for Axiom references,
building a bibliography, and connecting the ideas and papers
to the existing code.
I'm asking people to write simple introductions
to their areas of expertise with a focus on Axiom (e.g. James
Davenport just wrote 2 chapters in Volume 2). Feel free to
explain simplical and cubical groups at a beginner level, e.g.
why and where you might find/use them and what are some
basic concepts needed as background.
I find that computational mathematicians know WHY they
use resultants, chinese remainders, lifting and other ideas.
These don't seem to be common knowledge. I'm trying to
change that so the code doesn't look like magic.
As for research, I'm doing my own (proving Axiom correct)
but nobody cares :-)
Tim
Dr Andrew Tonks
Department of Mathematics, University of Leicester,
University Road, Leicester, LE1 7RH, UK
[Prev in Thread] | Current Thread | [Next in Thread] |