Re: Computer Algebra Algorithms lisp vs. C.

Bernard Parisse <parisse@xxxxxxxxxxxxxxxxx> writes:

> Not *the* standard language, but *a* standard language.
> Unlike maple language which is only used by maple, mupad language
> by mupad, mathematica language by mathematica, etc.

I'd like to add that there is a CAS, namely Axiom, whose "extension-language",
namely Aldor, is *very* well defined, in fact, there are even two independent
implementations of it, one in Lisp and one in C. Aldor can be compiled and
interpreted, and is in principle a general purpose language. However, it
implements ideas that are very useful for implementing a CAS.

More precisely: Axiom is a CAS that uses a variant of Aldor to implement its
mathematical algorithms. The parser, interpreter, compiler, graphics, ... are
written in other languages, mainly Lisp.

Of course, those who know Aldor/Axiom well know that I'm cheating a tiny little
bit. However, in principle the statement is correct. The corresponding page

http://page.axiom-developer.org/zope/mathaction/AldorForAxiom

is outdated (un)fortunately. Aldor can be used without patching Axiom now.

Furthermore, it is not so uncommon that you can access the functionality of the
CAS "natively" from the language it is written in. Maxima is heading in this
direction, as far as I know.

Martin
.

Relevant Pages

  • Re: Which is the best CAS
    ... What is the best CAS ... You should consider Sage, which has a mission of "Creating a viable free open source alternative to Magma, Maple, Mathematica and Matlab." ... You don't know Sage. ... One huge advantage of Sage over the others is that rather than spending that time learning a programming language that is only useful for mathematical things, you learn a programming language which is very general and can be used for many tasks - from maths, web design, text-processing, writing games, writing your own database .. ...
    (sci.math.symbolic)
  • Re: SBCL is now faster than Java, as fast as Ocaml, and getting better
    ... amount to learn from Mathematica because it addressed so many of Lisp's ... What do you think Mathematica can learn from Lisp? ... are overestimating the "language merits" of Mathematica as far as its ... go beyond our discussion of Lisp, MLish and pattern matching. ...
    (comp.lang.lisp)
  • Re: Pattern Matching and Transform Rules / parens everywhere?
    ... But parentheses are a problem until you are used to them, just as Mma ... syntax is a problem for those not used to them. ... The Mathematica ... language has square brackets, f, but extra square brackets are ...
    (sci.math.symbolic)
  • Re: Computer Algebra Algorithms lisp vs. C.
    ... >> Unlike maple language which is only used by maple, ... >> by mupad, mathematica language by mathematica, etc. ... > namely Aldor, is *very* well defined, in fact, there are even two ...
    (sci.math.symbolic)
  • Re: Very poor Lisp performance / about Mathematica
    ... >> You cannot predict what such an OCaml program will do. ... Not using them is considered an abuse of the language. ... I wouldn't apply any of that theory to Mathematica directly. ...
    (comp.lang.lisp)