Re: Computer Algebra Algorithms lisp vs. C.


Martin Rubey wrote:
> 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

Speaking of Axiom and Aldor, I found an interesting project that uses
this language:
Investigating links between constructive type theories and computer
algebra.
http://www.cs.kent.ac.uk/people/staff/sjt/Atypical

I noticed that waterloo is involved in the project. I know Maple is
written in C. I wonder how the inclusion of Aldor in Maple may change
how Maple works.

.

Relevant Pages

  • Re: Computer Algebra Algorithms lisp vs. C.
    ... >>> Unlike maple language which is only used by maple, ... >>> by mupad, mathematica language by mathematica, etc. ... Axiom is a CAS that uses a variant of Aldor to ...
    (sci.math.symbolic)
  • Re: OCaml
    ... I use Maple for symbolic math. ... OCaml also has the advantage of being free. ... learning the language goes hand-in-hand with the requirement to complete ...
    (comp.sys.mac.scitech)
  • Re: Computer Algebra Algorithms lisp vs. C.
    ... > Unlike maple language which is only used by maple, ... > 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 ...
    (sci.math.symbolic)
  • Re: Introducing CAS To Engineers
    ... because it is a nice language, ... > I think that Maple is very well suited for being the first programming ...
    (sci.math.symbolic)
  • Re: Symbolic Math as Computer Science
    ... >> You might want to look at Aldor and/or Axiom. ... Maple is not typed at all. ... Aldor (the language on which Axiom builds on) is statically ...
    (sci.math.symbolic)
Quantcast