|
|
|
last edited 1 year ago by test1 |
Edit detail for FriCASProgramming revision 1 of 11
| 1 2 3 4 5 6 7 8 9 10 11 | ||
|
Editor: Bill Page
Time: 2007/11/27 12:12:19 GMT-8 |
||
| Note: reverted by Bill Page | ||
changed: - Axiom's programming languages At first it might be confusing: So many programming languages to choose from. There is Lisp, Boot, Spad, Aldor and even more that can all be compiled from the Axiom interpreter. You can also compile and use functions written in each of these languages in web pages of this web site. See: AxiomTutorial . So what do I really need to learn? These are listed below in order of importance: "Axiom interpreter":AxiomInterpreter scripts if you want to use Axiom for doing mathematics at a basic to intermediate level. Similar in scope to the scripting languages provided by Maple, Mathematica, etc., only *a lot better*. Explained in detail in the "Axiom Book":AxiomBook Sections 5 and 6 and by HyperDoc "Spad":AxiomCompiler if you want to use Axiom for doing mathematics at an advanced level, in a way that you can share your efforts with other people. Furthermore, if you want to "debug Axioms":DebuggingAxiom "mathematical" bugs. The mathematical capabilities Axiom provides are written in Spad. It is (more or less) a prerequesite to know how to use the Axiom interpreter language, they are nearly identical. Explained in the "Axiom Book":AxiomBook, Sections 11, 12 and 13. "Aldor":AldorForAxiom is the successor of Spad and can be used within Axiom via an external compiler. If you want to use Axiom for doing mathematics at an advanced level, in a way that you can share your efforts with other people. Also, if you *really* want to understand how to use Spad, you should learn Aldor. Aldor has extensive online "documentation":http://www.aldor.org/docs/HTML/index.html LaTeX is the language we use for "documenting":LiterateProgramming everything. "Lisp":LispInAxiom to learn programming itself, if you intend to hack the interpreter, compiler, user-interface "Boot":BootProgramming Boot is used internally in Axiom for the implementation of the interpreter and Spad compiler. Boot is written in Lisp (and Boot) and has a syntax very much like Spad.
Axiom's programming languages
At first it might be confusing: So many programming languages to choose from. There is Lisp, Boot, Spad, Aldor and even more that can all be compiled from the Axiom interpreter.
You can also compile and use functions written in each of these languages in web pages of this web site. See: AxiomTutorial? .
So what do I really need to learn? These are listed below in order of importance:
Axiom interpreter scripts
if you want to use Axiom for doing mathematics at a basic to intermediate level. Similar in scope to the scripting languages provided by Maple, Mathematica, etc., only a lot better.
Explained in detail in the Axiom Book Sections 5 and 6 and by HyperDoc?
Spad
if you want to use Axiom for doing mathematics at an advanced level, in a way that you can share your efforts with other people. Furthermore, if you want to debug Axioms "mathematical" bugs. The mathematical capabilities Axiom provides are written in Spad.
It is (more or less) a prerequesite to know how to use the Axiom interpreter language, they are nearly identical.
Explained in the Axiom Book, Sections 11, 12 and 13.
Aldor
is the successor of Spad and can be used within Axiom via an external compiler. If you want to use Axiom for doing mathematics at an advanced level, in a way that you can share your efforts with other people. Also, if you really want to understand how to use Spad, you should learn Aldor.
Aldor has extensive online documentation
LaTeX?
is the language we use for documenting everything.
Lisp
to learn programming itself, if you intend to hack the interpreter, compiler, user-interface
Boot
Boot is used internally in Axiom for the implementation of the interpreter and Spad compiler. Boot is written in Lisp (and Boot) and has a syntax very much like Spad.