Top
Back: equidimZ
Forward: resbin_lib
FastBack: paraplanecurves_lib
FastForward: resbin_lib
Up: primdecint_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.7.6 intersectZ

Procedure from library primdecint.lib (see primdecint_lib).

Return:
the intersection of the input ideals

Note:
this is needed because intersect(I,J) does not work, should be replaced by intersect later

Example:
 
LIB "primdecint.lib";
ring R=integer,(a,b,c,d),dp;
==> // ** You are using coefficient rings which are not fields.
==> // ** Please note that only limited functionality is available
==> // ** for these coefficients.
==> // ** 
==> // ** The following commands are meant to work:
==> // ** - basic polynomial arithmetic
==> // ** - std
==> // ** - syz
==> // ** - lift
==> // ** - reduce
ideal I1=9,a,b;
ideal I2=3,c;
ideal I3=11,2a,7b;
ideal I4=13a2,17b4;
ideal I5=9c5,6d5;
ideal I6=17,a15,b15,c15,d15;
ideal I=intersectZ(I1,I2); I;
==> I[1]=9
==> I[2]=3b
==> I[3]=3a
==> I[4]=bc
==> I[5]=ac
I=intersectZ(I,I3); I;
==> I[1]=99
==> I[2]=3b
==> I[3]=3a
==> I[4]=bc
==> I[5]=ac
I=intersectZ(I,I4); I;
==> I[1]=39a2
==> I[2]=13a2c
==> I[3]=51b4
==> I[4]=17b4c
==> I[5]=3a2b4
==> I[6]=a2b4c
I=intersectZ(I,I5); I;
==> I[1]=78a2d5
==> I[2]=117a2c5
==> I[3]=102b4d5
==> I[4]=153b4c5
==> I[5]=6a2b4d5
==> I[6]=9a2b4c5
==> I[7]=39a2c5d5
==> I[8]=51b4c5d5
==> I[9]=3a2b4c5d5
I=intersectZ(I,I6); I;
==> I[1]=1326a2d5
==> I[2]=1989a2c5
==> I[3]=102b4d5
==> I[4]=153b4c5
==> I[5]=663a2c5d5
==> I[6]=51b4c5d5
==> I[7]=78a2d15
==> I[8]=117a2c15
==> I[9]=78a15d5
==> I[10]=117a15c5
==> I[11]=6a2b4d15
==> I[12]=9a2b4c15
==> I[13]=39a2c5d15
==> I[14]=39a2c15d5
==> I[15]=6a2b15d5
==> I[16]=9a2b15c5
==> I[17]=6a15b4d5
==> I[18]=9a15b4c5
==> I[19]=39a15c5d5
==> I[20]=3a2b4c5d15
==> I[21]=3a2b4c15d5
==> I[22]=3a2b15c5d5
==> I[23]=3a15b4c5d5


Top Back: equidimZ Forward: resbin_lib FastBack: paraplanecurves_lib FastForward: resbin_lib Up: primdecint_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.