help links subscribe changes refresh edit

	FriCASDocumentation
	↑

FriCASTutorial

Edit detail for FriCASTutorial revision 8 of 10

	1 2 3 4 5 6 7 8 9 10
Editor: test1 Time: 2018/03/25 15:22:04 GMT+0
Note:

changed:
-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
The first chapters of FriCAS book http://fricas.github.io/book.pdf
may serve as a tutorial.

changed:
-in English, at
-http://www.dcs.st-andrews.ac.uk/~mnd/documentation/axiom_tutorial (Alternate link: TutorialIntroductionToAxiom )
in English, copy at: TutorialIntroductionToAxiom

changed:
-available at http://www-rocq.inria.fr/codes/Daniel.Augot/axiom_intro.pdf
available at http://pages.saclay.inria.fr/daniel.augot/documents/axiom_intro.pdf

removed:
-http://pages.saclay.inria.fr/daniel.augot/documents/axiom_intro.pdf

changed:
-(local copy http://axiom-wiki.newsynthesis.org/public/axiom/)
(local copy of Texmacs files http://axiom-wiki.newsynthesis.org/public/axiom/)

removed:
-From Yrogirg Fri Apr 1 09:10:57 -0700 2011
-From: Yrogirg
-Date: Fri, 01 Apr 2011 09:10:57 -0700
-Subject: Broken link
-Message-ID: <20110401091057-0700@axiom-wiki.newsynthesis.org>
-
-The link to the tutorial by Martin N. Dunstan doesn't work (http://www.dcs.st-andrews.ac.uk/~mnd/documentation/axiom_tutorial).

Most introductory material about Axiom applies to FriCAS?. The first chapters of FriCAS? book http://fricas.github.io/book.pdf may serve as a tutorial.

There is a good introduction to Axiom by Martin N. Dunstan, in English, copy at: TutorialIntroductionToAxiom?
a complete introduction to Axiom by Daniel Augot, en Français, is available at http://pages.saclay.inria.fr/daniel.augot/documents/axiom_intro.pdf
an Axiom tutorial and a collection of exercises by Christophe Conil and Quentin Carpent at (local copy of Texmacs files 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 Tutorial

On 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} \end{axiom} section. For example:

    \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, 3/4, 5/6]

$\label{eq1}\left[{1 \over 7}, \:{3 \over 4}, \:{5 \over 6}\right]$

(1)

Type: List(Fraction(Integer))

Please feel free to play with this in the SandBox?!

Advanced Examples

Let's see if we can perform a finite window Fourier inversion.

fricas

simplify(integrate(exp(%i*_\omega*t) * exp(-%i*_\omega * _\tau), _\omega=-_\Omega .. _\Omega))

$\label{eq2}{\left( \begin{array}{@{}l} \displaystyle -{i \ {{e}^{{i \ \Omega \ t}-{i \ \Omega \ \tau}}}}+ \ \ \displaystyle {i \ {{e}^{-{i \ \Omega \ t}+{i \ \Omega \ \tau}}}}$

(2)

Type: Expression(Complex(Integer))

Try this integrating this

fricas

2*x/sin(x)^2

$\label{eq3}{2 \ x}\over{{\sin \left({x}\right)}^{2}}$

(3)

Type: Expression(Integer)

fricas

integrate(%,x)

$\label{eq4}{{2 \ {\sin \left({x}\right)}\ {\log \left({{\sin \left({x}\right)}\over 2}\right)}}-{2 \ x \ {\cos \left({x}\right)}}}\over{\sin \left({x}\right)}$

(4)

Type: Union(Expression(Integer),...)

Now differentiate it

fricas

D(%,x)

$\label{eq5}{{2 \ x \ {{\sin \left({x}\right)}^{2}}}+{2 \ x \ {{\cos \left({x}\right)}^{2}}}}\over{{\sin \left({x}\right)}^{2}}$

(5)

Type: Expression(Integer)

fricas

simplify(%)

$\label{eq6}-{{2 \ x}\over{{{\cos \left({x}\right)}^{2}}- 1}}$

(6)

Type: Expression(Integer)

Expressions (3) and (6) are really that same.

fricas

simplify(%%(3) - %%(6))

$\label{eq7}0$

(7)

Type: Expression(Integer)

fricas

D(x^x,x)

$\label{eq8}{{\log \left({x}\right)}\ {{x}^{x}}}+{x \ {{x}^{x - 1}}}$

(8)

Type: Expression(Integer)

See, that was easy!

Here are some more things to try.

fricas

integrate(log(sin(x)),x=0..%pi)

$\label{eq9}\verb#"potentialPole"#$

(9)

Type: Union(pole: potentialPole,...)

fricas

limit(sum(1/i^2,i=1..n),n=%plusInfinity)

$\label{eq10}\verb#"failed"#$

(10)

Type: Union("failed",...)

Can you explain these results?

Advanced Programming

For more details see: FriCASProgramming? .

Special FriCASWiki? Markup for Programming

Spad

To include Spad programs on web pages in this website click edit (or when adding comments or in bug reports) use:

       \begin{spad}
       )abbrev ...
       ...
       \end{spad}

Aldor

To include Aldor programs on pages in this website use:

       \begin{aldor}
       ...
       \end{aldor}

or:

       \begin{aldor}[name]
       ...
       \end{aldor}

LaTeX?

You can add LaTeX? formatted equations to pages on this web site by:

       $$
       ...
       $$

and inline symbols such as $\alpha +\beta$ are written like this: $\alpha +\beta$

To include arbitrary LaTeX? on pages in this website use:

       \begin{latex}
       ...
       \end{latex}

Lisp

To include Lisp programs on pages in this website use:

       \begin{lisp}
       ...
       \end{lisp}

Boot

To include Boot programs on pages in this website use:

       \begin{boot}
       ...
       \end{boot}