source: git/Tst/Short/intersect_s.tst @ b1ac99

spielwiese
Last change on this file since b1ac99 was b1ac99, checked in by Thomas Siebert <siebert@…>, 25 years ago
*** empty log message *** git-svn-id: file:///usr/local/Singular/svn/trunk@1529 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.3 KB
Line 
1LIB "tst.lib";
2tst_init();
3//
4// test script for intersect command
5//
6pagelength = 10000;
7ring r1 = 32003,(x,y,z),(c,ds);
8r1;
9"-------------------------------";
10poly s1=x2y3+45x6y3+68x4z5+80y6x8;
11poly s2=6x5+3y6+8z6;
12poly s3=12xyz3+2y3z6;
13ideal i1=s1,s2,s3;
14ideal i2=s1+s2,s2,s1;
15vector v1=[s1,s2,s2*s3]+s1*gen(5);
16vector v2=[s1-s2,s3,s2]+s1*gen(5);
17module m1=v1,v2;
18module m2=v2,2*v1;
19intersect(i1,i2);
20"-------------------------";
21intersect(m1,m2);
22"-------------------------";
23listvar(all);
24kill r1;
25"--------------------------";
26ring r1=0,(x,y,z),(c,ds);
27poly s1=x2y3+45x6y3+68x4z5+80y6x8;
28poly s2=6x5+3y6+8z6;
29poly s3=12xyz3+2y3z6;
30ideal i1=s1,s2,s3;
31ideal i2=s1+s2,s2,s1;
32vector v1=[s1,s2,s2*s3]+s1*gen(5);
33vector v2=[s1-s2,s3,s2]+s1*gen(5);
34module m1=v1,v2;
35module m2=v2,2*v1;
36intersect(i1,i2);
37"-------------------------";
38intersect(m1,m2);
39"-------------------------";
40listvar(all);
41intersect(x,y,z);
42intersect(ideal(x),ideal(y),ideal(z2),ideal(z));
43intersect(x,y,z2,z);
44kill r1;
45//
46// test script for intersect command
47//
48pagelength = 10000;
49ring r1 = 32003,(x,y,z),(c,ds);
50r1;
51"-------------------------------";
52poly s1=x2y3+45x6y3+68x4z5+80y6x8;
53poly s2=6x5+3y6+8z6;
54poly s3=12xyz3+2y3z6;
55ideal i1=s1,s2,s3;
56ideal i2=s1+s2,s2,s1;
57vector v1=[s1,s2,s2*s3]+s1*gen(5);
58vector v2=[s1-s2,s3,s2]+s1*gen(5);
59module m1=v1,v2;
60module m2=v2,2*v1;
61intersect(i1,i2,1);
62"-------------------------";
63intersect(m2,freemodule(5),m1);
64intersect(m2);
65"-------------------------";
66listvar(all);
67kill r1;
68"--------------------------";
69ring r1=0,(x,y,z),(c,ds);
70poly s1=x2y3+45x6y3+68x4z5+80y6x8;
71poly s2=6x5+3y6+8z6;
72poly s3=12xyz3+2y3z6;
73ideal i1=s1,s2,s3;
74ideal i2=s1+s2,s2,s1;
75vector v1=[s1,s2,s2*s3]+s1*gen(5);
76vector v2=[s1-s2,s3,s2]+s1*gen(5);
77module m1=v1,v2;
78module m2=v2,2*v1;
79intersect(1,i1,i2);
80"-------------------------";
81intersect(m1,m2,freemodule(5));
82"-------------------------";
83listvar(all);
84kill r1;
85ring r=181,(x,y,z),(c,ls);
86ideal id1=maxideal(3);
87id1;
88ideal id2=x2+xyz,y2-z3y,z3+y5xz;
89id2;
90ideal id3=intersect(id1,id2);
91id3;
92ring rr=32003 ,(x, y),dp;
93ideal i=x;
94ideal j=y;
95ideal k=intersect(i,j);
96k;
97kill rr;
98ring r=0,(x,y,z),(c,lp);
99vector v(1)=[xy+y2,x,1];
100vector v(2)=[x2+z2,x-y,0,1];
101vector v(3)=[xz,y,0,0,1];
102module M=v(1),v(2),v(3);
103module Ms=std(M);
104Ms;
105module N=gen(3),gen(4),gen(5);
106module NN;
107intersect(Ms,N);
108intersect(Ms,NN);
109intersect(Ms,NN,N);
110kill r;
111
112$;
Note: See TracBrowser for help on using the repository browser.