On Jan 28, 2:35 pm, Waldek Hebisch <hebi...@math.uni.wroc.pl> wrote:
> porky_pig...@my-deja.com <porky_pig...@my-deja.com> wrote:
> > Hello,
> > I was looking at the descriptions of different CAS and finally decided
> > to narrow it down to Maxima and FRICAS/OpenAxiom. I hope somebody can
> > answer the following questions:
> > 1. What's the nature of the fork between FRICAS/OpenAxiom? Seems like
> > FRICAS points to OpenAxiom documentation, does that mean all their
> > features are essentially the same? Should I give a try to both or just
> > one of them?
> - Fork situation is more complicated that you think, there are three
> forks: Axiom, Open Axiom and FriCAS. And there a common precursor,
> namely commercial Axiom system (released as free software in 2002).
> Tim Daly, who was angaged in making Axiom free software and lead
> the project decided to keep Axiom name. When I forked FriCAS
> I decided to use quite distint name to avoid confusion. But
> shortly ater that another fork happened and decied to use name
> Open Axiom.
> - Concerning documentation FriCAS points to "Axiom Book"
> and "Axiom Wiki". Axiom Book is a text which originally was written
> to about commercial Axiom system (which is precursor of all of the
> forks). It was updated somewhat when Axiom was released as fee
> software, but it does not describe new additions to FriCAS
> (but old things work well enough to that it is still very useful).
> FriCAS bundled more up to date version of Axiom Book for online
> viewing. Unfortunaltly, the pdf and MathML versions that FriCAS
> points to were created mostly by hand and up to date nobody
> volunteered to re-do the work and regenerate them from bundled
> Axiom Wiki was created when Axiom became fee software. The
> name come from project, but nowadays it tries to be neutral
> and cover all forks.
> - Concerning features: FriCAS tries to preserve backwards
> compatiblity as long as it does not interfere with
> new developements. So old documetation is still useful.
> But there are entirely new subsystems:
> * guessing package which is useful when you can compute
> several terms of a sequents and want to find a formula
> * large collection of special functions (original Axiom
> had only a handful)
> * "jet bundles" framewark, which implements completition
> procedure to bring system of PDE-s into more manageble
> form (and can also find symmetries of PDE-s).
> and several smaller additions and improvements to existing
> AFAIK Open Axiom made structural improvements and added
> some routines for logic, but made almost no improvements
> to mathemetical capabilites. AFAIK Axiom ported several
> FriCAS improvements, restructured code, made some additions
> to user interface and documentation but again made almost
> no own additions to mathemetical capabilites
> Waldek Hebisch
Thanks a lot. That's an excellent write-up. I didn't realize there was
three! (not two) of them.