source: git/Tst/Short/bug_homog.tst @ 051432

spielwiese
Last change on this file since 051432 was 4c75fc, checked in by Hans Schönemann <hannes@…>, 15 years ago
*hannes: syz in qring git-svn-id: file:///usr/local/Singular/svn/trunk@11843 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.4 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4// homogonizations and variable weights:
5
6ring r=0,(x,y,z),M(2,3,1,1,0,0,0,1,0);
7poly p=x+y+z;
8homog(p,z);
9ring s=0,(x,y,z),wp(2,3,1);
10poly p=x+y+z;
11homog(p,z);
12
13ring rr=0,(x,y,z),M(2,3,4,1,0,0,0,1,0);
14poly p=x+y+z;
15homog(p,z);
16ring ss=0,(x,y,z),wp(2,3,4);
17poly p=x+y+z;
18homog(p,z);
19
20// -- syz in qring (fixed in 3-1-0-3)
21ring rs=32003,(T(1..11)),(a(1,1,1,1,1,1,1,2,2,1,2),dp,C);
22ideal I;
23I[1]=T(3)*T(7)-T(2)*T(10);
24I[2]=T(6)^2-T(2)*T(10);
25I[3]=T(5)*T(6)+T(7)^2;
26I[4]=T(3)*T(6)+T(1)*T(10);
27I[5]=T(2)*T(6)+T(1)*T(7);
28I[6]=T(1)*T(6)-T(4)*T(10);
29I[7]=T(3)*T(5)+T(6)*T(7);
30I[8]=T(1)*T(5)-T(2)*T(7);
31I[9]=T(2)*T(3)+T(4)*T(10);
32I[10]=T(2)^2+T(4)*T(7);
33I[11]=T(1)*T(2)-T(4)*T(6);
34I[12]=T(1)^2+T(3)*T(4);
35I[13]=T(8)*T(10)-T(7)*T(11);
36I[14]=T(3)*T(8)-T(2)*T(11);
37I[15]=T(10)^3+T(6)*T(11);
38I[16]=T(7)*T(10)^2+T(6)*T(8);
39I[17]=T(6)*T(10)^2+T(2)*T(11);
40I[18]=T(5)*T(10)^2-T(7)*T(8);
41I[19]=T(3)*T(10)^2-T(1)*T(11);
42I[20]=T(2)*T(10)^2-T(1)*T(8);
43I[21]=T(1)*T(10)^2+T(4)*T(11);
44I[22]=T(6)*T(7)*T(10)+T(2)*T(8);
45I[23]=T(1)*T(7)*T(10)+T(4)*T(8);
46I[24]=T(7)^3+T(9)*T(10);
47I[25]=T(6)*T(7)^2+T(2)*T(5)*T(10);
48I[26]=T(2)*T(7)^2+T(3)*T(9);
49I[27]=T(1)*T(7)^2+T(4)*T(5)*T(10);
50I[28]=T(4)*T(5)*T(7)-T(1)*T(9);
51I[29]=T(2)*T(5)*T(7)-T(6)*T(9);
52
53I = std(I);
54size(I);
55qring q = I;
56ideal f;
57f[1]=T(10);
58f[2]=T(3)*T(11);
59f[3]=T(3)^2*T(4);
60homog(f);
61option(prot);
62size(syz(f));
63syz(f);
64
65tst_status(1);$
Note: See TracBrowser for help on using the repository browser.