René Nyffenegger's collection of things on the web
René Nyffenegger on Oracle - Most wanted - Feedback -
 

Axiom

Variables

(33) -> a:=5

   (33)  5
                                                        Type: PositiveInteger
(34) -> b:=a
   Rule definition for b is being overwritten.
   Compiled code for b has been cleared.

   (34)  5
                                                        Type: PositiveInteger
(35) -> a:=2

   (35)  2
                                                        Type: PositiveInteger
(36) -> b

   (36)  5
                                                        Type: PositiveInteger

Binding b's value to a's value

(24) -> a := 7

   (24)  7
                                                        Type: PositiveInteger
(25) -> b == a
                                                                   Type: Void
(26) -> b
   Compiling body of rule b to compute value of type PositiveInteger

   (26)  7
                                                        Type: PositiveInteger
(27) -> a:=2

   (27)  2
                                                        Type: PositiveInteger
(28) -> b

   (28)  2

Types

(42) -> v : Integer
                                                                   Type: Void
(43) -> v:=9/3

   (43)  3
                                                                Type: Integer
(44) -> v:=8/3

   Cannot convert right-hand side of assignment
   8
   -
   3

      to an object of the type Integer of the left-hand side.

Initializing

(47) -> z : Integer := 9

   (47)  9
(48) -> (foo, bar, baz) : Integer

Clear

(58) -> )clear all
   All user variables and function definitions have been cleared.
(1) ->

solve, radicalSolve

(3) -> solve (4*x*x + 2*x+1 = 0)

           2
   (3)  [4x  + 2x + 1= 0]
                              Type: List Equation Fraction Polynomial Integer
(6) -> radicalSolve (x^2=2)

             +-+       +-+
   (6)  [x= \|2 ,x= - \|2 ]
                                       Type: List Equation Expression Integer