Home Online Manual
Top
Back: WLemma
Forward: ADGT
FastBack:
FastForward:
Up: grobcov_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.4.21 intersectpar

Procedure from library grobcov.lib (see grobcov_lib).

Usage:
interectpar(list of ideals S)
list S=ideal I1,...,ideal Ik;

Return:
The intersection of the ideals I1 ... Ik in Q[x,a]

Note:
The routine is called in Q[a][x],
The ideals I1,..,Ik can be ideals depending only on [a] or on [x,a]

Example:
 
LIB "grobcov.lib";
if(defined(R)){kill R;}
ring R=(0,x,y,z),(x1,y1,z1),lp;
ideal I1=x+y*z*x1;
ideal I2=x-y*z*y1;
ideal I3=x+y+z*z1;
list S=I1,I2,I3;
S;
==> [1]:
==>    _[1]=(y*z)*x1+(x)
==> [2]:
==>    _[1]=(-y*z)*y1+(x)
==> [3]:
==>    _[1]=(z)*z1+(x+y)
intersectpar(S);
==> _[1]=(y^2*z^3)*x1*y1*z1+(x*y^2*z^2+y^3*z^2)*x1*y1+(-x*y*z^2)*x1*z1+(-x^2*\
   y*z-x*y^2*z)*x1+(x*y*z^2)*y1*z1+(x^2*y*z+x*y^2*z)*y1+(-x^2*z)*z1+(-x^3-x^\
   2*y)