|
5.1.65 intersect
Syntax:
intersect ( expression_list of ideal_expression )
intersect ( expression_list of module_expression )
Type:
- ideal, resp. module
Purpose:
- computes the intersection of ideals, resp. modules.
Note:
- If the option
prot is enabled then the result the used method (elimination/syzygies) is displayed.
An optional last argument specifies the Groebner base algorithm to use.
Possible values are "std" and "slimgb" .
Example:
| ring R=0,(x,y),dp;
ideal i=x;
ideal j=y;
intersect(i,j);
==> _[1]=xy
ring r=181,(x,y,z),(c,ls);
ideal id1=maxideal(3);
ideal id2=x2+xyz,y2-z3y,z3+y5xz;
ideal id3=intersect(id1,id2,ideal(x,y));
ideal id4=intersect(id1,id2,"slimgb");
id3;
==> id3[1]=yz3+xy6z
==> id3[2]=yz4-y2z
==> id3[3]=y2z3-y3
==> id3[4]=xz3+x2y5z
==> id3[5]=xyz2+x2z
==> id3[6]=xy2+x2z2
==> id3[7]=xy2z+x2y
==> id3[8]=x2yz+x3
id4;
==> id4[1]=xyz2+x2z
==> id4[2]=xy2z+x2y
==> id4[3]=x2yz+x3
==> id4[4]=-yz4+y2z
==> id4[5]=-y2z3+y3
==> id4[6]=-xyz3+xy2
==> id4[7]=z3+xy5z
|
See
ideal;
module;
option.
|