Go to the first, previous, next, last section, table of contents.

Referencing results and special numbers

An @ used for an escape character; rules currently in force are as follows.

The evaluated result of n-th input command
The evaluated result of the last command
The unit of imaginary number, square root of -1.
The number pi, the ratio of a circumference of the circle and its diameter.
Napier's number, the base of natural logarithm.
A generator of GF(2^m), a finite field of characteristic 2, over GF(2). It is a root of an irreducible univariate polynomial over GF(2) which is set as the defining polynomial of GF(2^m).
@>, @<, @>=, @<=, @==, @&&, @||
Fist order logical operators. They are used in quantifier elimination.
[0] fctr(x^10-1);     
[1] @@[3];            
[2] eval(sin(@pi/2)); 
[3] eval(log(@e),20);
[4] @0[4][0];
[5] (1+@i)^5;
[6] eval(exp(@pi*@i));
[7] (@+1)^9;

As you can see in the above example, results of toplevel computation can be referred to by @ convention. This is convenient for users, while it sometimes imposes a heavy burden to the garbage collector. It may happen that GC time will rapidly increase after computing a very large expression at the toplevel. In such cases delete_history() (see section delete_history) takes effect.

Go to the first, previous, next, last section, table of contents.