|
|
4.13.1 number declarations
- Syntax:
number name = number_expression ;
- Purpose:
- defines a number.
- Default:
- 0
- Note:
- Numbers may only be declared w.r.t. the coefficient field of the current
basering, i.e., a ring
has to be defined prior to any number declaration. See Rings and orderings for a list of the available coefficient fields.
- Example:
| | // finite field Z/p, p<= 32003
ring r = 32003,(x,y,z),dp;
number n = 4/6;
n;
==> -10667
// finite field GF(p^n), p^n <= 32767
// z is a primitive root of the minimal polynomial
ring rg= (7^2,z),x,dp;
number n = 4/9+z;
n;
==> z38
// the rational numbers
ring r0 = 0,x,dp;
number n = 4/6;
n;
==> 2/3
// algebraic extensions of Z/p or Q
ring ra=(0,a),x,dp;
minpoly=a^2+1;
number n=a3+a2+2a-1;
n;
==> (a-2)
a^2;
==> -1
// transcedental extensions of Z/p or Q
ring rt=(0,a),x,dp;
number n=a3+a2+2a-1;
n;
==> (a3+a2+2a-1)
a^2;
==> (a2)
// machine floating point numbers, single precision
ring R_0=real,x,dp;
number n=4/6;
n;
==> (6.667e-01)
n=0.25e+2;
n;
==> (2.500e+01)
// floating point numbers, arbitrary prescribed precision
ring R_1=(real,50),x,dp;
number n=4.0/6;
n;
==> 0.66666666666666666666666666666666666666666666666667
n=0.25e+2;
n;
==> 25
// floating point complex numbers, arbitrary prescribed precision
// the third parameter gives the name of the imaginary unit
ring R_2=(complex,50,i),x,dp;
number n=4.0/6;
n;
==> 0.66666666666666666666666666666666666666666666666667
n=0.25e+2*i+n;
n;
==> (0.66666666666666666666666666666666666666666666666667+i*25)
|
|
Online Manual
