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 |
---|