|
7.2.1.1 ideal declarations (plural)
- Syntax:
ideal name = list_of_poly_and_ideal_expressions ;
ideal name = ideal_expression ;
- Purpose:
- defines a left ideal.
- Default:
- 0
- Example:
| ring r=0,(x,y,z),dp;
def R=nc_algebra(-1,0); // an anti-commutative algebra
setring R;
poly s1 = x2;
poly s2 = y3;
poly s3 = z;
ideal i = s1, s2-s1, 0,s3*s2, s3^4;
i;
==> i[1]=x2
==> i[2]=y3-x2
==> i[3]=0
==> i[4]=-y3z
==> i[5]=z4
size(i);
==> 4
ncols(i);
==> 5
|
|