Most introductory material about Axiom applies to FriCAS. The Axiom Volume 1: Tutorial is available in printed format at http://publish-book.com and http://www.lulu.com/product/file-download/axiom-volume-1-tutorial/243127 - There is a good introduction to Axiom by Martin N. Dunstan, in English, at http://www.dcs.st-andrews.ac.uk/~mnd/documentation/axiom_tutorial (Alternate link: TutorialIntroductionToAxiom )
- a complete introduction to Axiom by Daniel Augot, en Français, is available at http://www-rocq.inria.fr/codes/Daniel.Augot/axiom_intro.pdf
- an Axiom tutorial and a collection of exercises by Christophe Conil and Quentin Carpent at http://pages.saclay.inria.fr/daniel.augot/documents/axiom_intro.pdf (local copy http://axiom-wiki.newsynthesis.org/public/axiom/) (released under CC-BY-SA )
- and a blog by Alasdair McAndrew containing an excellent introduction to Axiom.
- Extending the FriCAS library is done in the programming language SPAD. Find introductory material on the page ProgrammingSPAD.
## A Quick TutorialOn this web site you can enter FriCAS commands and see the output in proper mathematical form. These commands can also be typed directly into FriCAS installed on your own computer. You must enclose each set of FriCAS commands in a \begin{axiom} [1/2, 3/4, 2/3] \end{axiom} When you save the changes you make to a page, FriCAS processes the contents of each section you have marked and the FriCAS output is displayed. Try this command: fricas [1/7,
Type: List(Fraction(Integer))Please feel free to play with this in the SandBox! ## Advanced ExamplesLet's see if we can perform a finite window Fourier inversion. fricas simplify(integrate(exp(%i*_\omega*t) * exp(-%i*_\omega * _\tau),
Type: Expression(Complex(Integer))Try this integrating this fricas 2*x/sin(x)^2
Type: Expression(Integer)fricas integrate(%,
Type: Union(Expression(Integer),Now differentiate it fricas D(%,
Type: Expression(Integer)fricas simplify(%)
Type: Expression(Integer)Expressions (3) and (6) are really that same. fricas simplify(%%(3) - %%(6))
Type: Expression(Integer)fricas D(x^x,
Type: Expression(Integer)See, that was easy! Here are some more things to try. fricas integrate(log(sin(x)),
Type: Union(pole: potentialPole,fricas limit(sum(1/i^2,
Type: Union("failed",Can you explain these results? ## Advanced ProgrammingFor more details see: FriCASProgramming . ## Special FriCASWiki Markup for Programming## Spad To include Spad programs on web pages in this website click \begin{spad} )abbrev ... ... \end{spad} ## AldorTo include Aldor programs on pages in this website use: \begin{aldor} ... \end{aldor} or: \begin{aldor}[name] ... \end{aldor} ## LaTeXYou can add LaTeX formatted equations to pages on this web site by: $$ ... $$ and inline symbols such as are written like this: $\alpha +\beta$ To include arbitrary LaTeX on pages in this website use: \begin{latex} ... \end{latex} ## LispTo include Lisp programs on pages in this website use: \begin{lisp} ... \end{lisp} ## BootTo include Boot programs on pages in this website use: \begin{boot} ... \end{boot}http://www.dcs.st-andrews.ac.uk/~mnd/documentation/axiom_tutorial). |

Broken link--Yrogirg, Fri, 01 Apr 2011 09:10:57 -0700 reply