(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 [...]
Filed under: Axiom, Computation | 3 Comments »
Today, June 23, 2008, marks the 96th anniversary of the birth of Alan Turing, one of the few truly great men of computer science. In his originality, his uncompromising search for the truth, and in his remaining always true to himself, he stands as a great human being. But the depths of his [...]
Filed under: Computation, Cryptography | Leave a Comment »
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 [...]
Filed under: Axiom | 2 Comments »
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 [...]
Filed under: Axiom, Software | 2 Comments »
