| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | // |
|---|
| 4 | // test script for intersect command |
|---|
| 5 | // |
|---|
| 6 | ring r1 = 32003,(x,y,z),(c,ds); |
|---|
| 7 | r1; |
|---|
| 8 | "-------------------------------"; |
|---|
| 9 | poly s1=x2y3+45x6y3+68x4z5+80y6x8; |
|---|
| 10 | poly s2=6x5+3y6+8z6; |
|---|
| 11 | poly s3=12xyz3+2y3z6; |
|---|
| 12 | ideal i1=s1,s2,s3; |
|---|
| 13 | ideal i2=s1+s2,s2,s1; |
|---|
| 14 | vector v1=[s1,s2,s2*s3]+s1*gen(5); |
|---|
| 15 | vector v2=[s1-s2,s3,s2]+s1*gen(5); |
|---|
| 16 | module m1=v1,v2; |
|---|
| 17 | module m2=v2,2*v1; |
|---|
| 18 | intersect(i1,i2); |
|---|
| 19 | "-------------------------"; |
|---|
| 20 | intersect(m1,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(i1,i2); |
|---|
| 36 | "-------------------------"; |
|---|
| 37 | intersect(m1,m2); |
|---|
| 38 | "-------------------------"; |
|---|
| 39 | listvar(all); |
|---|
| 40 | intersect(x,y,z); |
|---|
| 41 | intersect(ideal(x),ideal(y),ideal(z2),ideal(z)); |
|---|
| 42 | intersect(x,y,z2,z); |
|---|
| 43 | kill r1; |
|---|
| 44 | // |
|---|
| 45 | // test script for intersect command |
|---|
| 46 | // |
|---|
| 47 | ring r1 = 32003,(x,y,z),(c,ds); |
|---|
| 48 | r1; |
|---|
| 49 | "-------------------------------"; |
|---|
| 50 | poly s1=x2y3+45x6y3+68x4z5+80y6x8; |
|---|
| 51 | poly s2=6x5+3y6+8z6; |
|---|
| 52 | poly s3=12xyz3+2y3z6; |
|---|
| 53 | ideal i1=s1,s2,s3; |
|---|
| 54 | ideal i2=s1+s2,s2,s1; |
|---|
| 55 | vector v1=[s1,s2,s2*s3]+s1*gen(5); |
|---|
| 56 | vector v2=[s1-s2,s3,s2]+s1*gen(5); |
|---|
| 57 | module m1=v1,v2; |
|---|
| 58 | module m2=v2,2*v1; |
|---|
| 59 | intersect(i1,i2,1); |
|---|
| 60 | "-------------------------"; |
|---|
| 61 | intersect(m2,freemodule(5),m1); |
|---|
| 62 | intersect(m2); |
|---|
| 63 | "-------------------------"; |
|---|
| 64 | listvar(all); |
|---|
| 65 | kill r1; |
|---|
| 66 | "--------------------------"; |
|---|
| 67 | ring r1=0,(x,y,z),(c,ds); |
|---|
| 68 | poly s1=x2y3+45x6y3+68x4z5+80y6x8; |
|---|
| 69 | poly s2=6x5+3y6+8z6; |
|---|
| 70 | poly s3=12xyz3+2y3z6; |
|---|
| 71 | ideal i1=s1,s2,s3; |
|---|
| 72 | ideal i2=s1+s2,s2,s1; |
|---|
| 73 | vector v1=[s1,s2,s2*s3]+s1*gen(5); |
|---|
| 74 | vector v2=[s1-s2,s3,s2]+s1*gen(5); |
|---|
| 75 | module m1=v1,v2; |
|---|
| 76 | module m2=v2,2*v1; |
|---|
| 77 | intersect(1,i1,i2); |
|---|
| 78 | "-------------------------"; |
|---|
| 79 | intersect(m1,m2,freemodule(5)); |
|---|
| 80 | "-------------------------"; |
|---|
| 81 | listvar(all); |
|---|
| 82 | kill r1; |
|---|
| 83 | ring r=181,(x,y,z),(c,ls); |
|---|
| 84 | ideal id1=maxideal(3); |
|---|
| 85 | id1; |
|---|
| 86 | ideal id2=x2+xyz,y2-z3y,z3+y5xz; |
|---|
| 87 | id2; |
|---|
| 88 | ideal id3=intersect(id1,id2); |
|---|
| 89 | id3; |
|---|
| 90 | ring rr=32003 ,(x, y),dp; |
|---|
| 91 | ideal i=x; |
|---|
| 92 | ideal j=y; |
|---|
| 93 | ideal k=intersect(i,j); |
|---|
| 94 | k; |
|---|
| 95 | kill rr; |
|---|
| 96 | ring r=0,(x,y,z),(c,lp); |
|---|
| 97 | vector v(1)=[xy+y2,x,1]; |
|---|
| 98 | vector v(2)=[x2+z2,x-y,0,1]; |
|---|
| 99 | vector v(3)=[xz,y,0,0,1]; |
|---|
| 100 | module M=v(1),v(2),v(3); |
|---|
| 101 | module Ms=std(M); |
|---|
| 102 | Ms; |
|---|
| 103 | module N=gen(3),gen(4),gen(5); |
|---|
| 104 | module NN; |
|---|
| 105 | intersect(Ms,N); |
|---|
| 106 | intersect(Ms,NN); |
|---|
| 107 | intersect(Ms,NN,N); |
|---|
| 108 | kill r; |
|---|
| 109 | |
|---|
| 110 | tst_status(1);$; |
|---|
