An introduction to Axiom (8): Documentation

Like all Computer Algebra Systems, Axiom has both online documentation, and various other web pages devoted to its description.
HyperDoc
If you are using Axiom under linux, or under Windows with the Xming X-server, you will have access to the HyperDoc help browser. Although this can look a little old-fashioned (in terms of its widgets), it [...]

An introduction to Axiom (7): Programming

(It’s been a while since I posted about Axiom – that’s what exam marking does!)
Axiom has a full and complete, and well-structured programming language. Rather than describe it in detail, I’ll just make a few general remarks, and provide a few examples.
A simple function
Here’s an example of a simple program, to solve an equation [...]

An introduction to Axiom (6): Types

So far, Axiom does most of the calculation we would expect of any computer algebra system. But now we look at an aspect of Axiom which sets it apart from other systems: its use of types. In Axiom, “type” is another word for “domain”, or “domain of computation”, which is a method of [...]

An introduction to Axiom (5): Graphics

Moving right on, from http://amca01.wordpress.com/2008/05/29/an-introduction-to-axiom-4/ this post will be a simple introduction to Axiom’s graphics.
To obtain graphics, you need to run Axiom in Linux, or in windows within an X-windows system, such as Xming. At the time of writing, there is no native windows graphics subsystem for Axiom.
Having said that, Axiom’s graphics are sophisticated [...]

An introduction to Axiom (4): Lists and matrices

Following on from http://amca01.wordpress.com/2008/05/26/an-introduction-to-axiom-3/,
here’s the fourth installment – lists, matrices and linear algebra.
Lists are a standard data structure in most CAS’s, and Axiom is no exception. A list is delineated with square brackets, and can either be defined by listing it in full, or by iterating a function over a range of integers.
Given a [...]

An introduction to Axiom (3): Calculus

This is the third in a sequence of posts about the open source CAS Axiom. The previous post can be found at http://amca01.wordpress.com/2008/05/25/an-introduction-to-axiom-2/.
In this post I shall be looking at Axiom’s calculus abilities, starting with every beginning student’s love, limits:

Note here the use of %plusInfinity which is positive infinity. Axiom also has %minusInfinity. [...]

An introduction to Axiom (2): Algebra

This is the second in a sequence of posts about the open source CAS Axiom. The first can be found at http://amca01.wordpress.com/2008/05/25/an-introduction-to-axiom-1/
Axiom variables are created using the “colon equals” method of many other computer languages, and user defined functions with a double equals:

Note that for the last example, the expression involving radicals can be [...]

An introduction to Axiom (1): The basics

This is the first of what I intend to be a series of posts, exploring the open source computer algebra system Axiom. Maxima has already been extremely well described on math-blog. I hope to do something similar for Axiom, but over several posts.
Obtaining and using Axiom
First: go to http://www.axiom-developer.org/ for a description and [...]

Newton’s method in Axiom

I have just written about the freeware CAS Maxima; this time it’s about Axiom. Axiom differs from most CAS’s in being strongly typed, in that each expression belongs to a particular type, such as the integers, or polynomials, or finite fields. One of the difficulties for a beginner with Axiom is using types [...]