| 1 | // |
|---|
| 2 | // test script for intersect command |
|---|
| 3 | // |
|---|
| 4 | pagelength = 10000; |
|---|
| 5 | ring r1 = 32003,(x,y,z),(c,ds); |
|---|
| 6 | r1; |
|---|
| 7 | "-------------------------------"; |
|---|
| 8 | poly s1=x2y3+45x6y3+68x4z5+80y6x8; |
|---|
| 9 | poly s2=6x5+3y6+8z6; |
|---|
| 10 | poly s3=12xyz3+2y3z6; |
|---|
| 11 | ideal i1=s1,s2,s3; |
|---|
| 12 | ideal i2=s1+s2,s2,s1; |
|---|
| 13 | vector v1=[s1,s2,s2*s3]+s1*gen(5); |
|---|
| 14 | vector v2=[s1-s2,s3,s2]+s1*gen(5); |
|---|
| 15 | module m1=v1,v2; |
|---|
| 16 | module m2=v2,2*v1; |
|---|
| 17 | intersect(i1,i2,1); |
|---|
| 18 | "-------------------------"; |
|---|
| 19 | intersect(m2,freemodule(5),m1); |
|---|
| 20 | intersect(m2); |
|---|
| 21 | "-------------------------"; |
|---|
| 22 | listvar(all); |
|---|
| 23 | kill r1; |
|---|
| 24 | "--------------------------"; |
|---|
| 25 | ring r1=0,(x,y,z),(c,ds); |
|---|
| 26 | poly s1=x2y3+45x6y3+68x4z5+80y6x8; |
|---|
| 27 | poly s2=6x5+3y6+8z6; |
|---|
| 28 | poly s3=12xyz3+2y3z6; |
|---|
| 29 | ideal i1=s1,s2,s3; |
|---|
| 30 | ideal i2=s1+s2,s2,s1; |
|---|
| 31 | vector v1=[s1,s2,s2*s3]+s1*gen(5); |
|---|
| 32 | vector v2=[s1-s2,s3,s2]+s1*gen(5); |
|---|
| 33 | module m1=v1,v2; |
|---|
| 34 | module m2=v2,2*v1; |
|---|
| 35 | intersect(1,i1,i2); |
|---|
| 36 | "-------------------------"; |
|---|
| 37 | intersect(m1,m2,freemodule(5)); |
|---|
| 38 | "-------------------------"; |
|---|
| 39 | listvar(all); |
|---|
| 40 | kill r1; |
|---|
| 41 | LIB "tst.lib";tst_status(1);$; |
|---|
| 42 | //bsp mit char 0 |
|---|
