source: git/Tst/Long/mora_1.tst @ 6263f2

spielwiese
Last change on this file since 6263f2 was c1c0d4, checked in by Olaf Bachmann <obachman@…>, 23 years ago
* small uipdate git-svn-id: file:///usr/local/Singular/svn/trunk@4811 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 2.3 KB
Line 
1LIB "tst.lib";
2tst_init();
3
4option(prot);
5ring r=32003,(x,y,z),ds;
6int a =35;
7int b =25;
8int c =20;
9int alpha =7;
10int beta= 11;
11int t= 1;
12poly f =x^a+y^b+z^c+x^alpha*y^(beta-5)+x^(alpha-2)*y^(beta-3)+x^(alpha-3)*y^(beta-4)*z^2+x^(alpha-4)*y^(beta-4)*(y^2+t*x)^2;
13ideal j= jacob(f);
14j=j,f;
15ideal i=std(j);
16tst_status(1);$
17
18
19ring r=32003,(w,x,y,z),ds;
20int a =10;
21int b =10;
22int c =11;
23int alpha =5;
24int beta= 5;
25int t= 0;
26poly f =x^a+y^b+z^c+x^alpha*y^(beta-5)+x^(alpha-2)*y^(beta-3)+x^(alpha-3)*y^(beta-4)*z^2+x^(alpha-4)*y^(beta-4)*(y^2+t*x)^2;
27ideal j= jacob(f);
28j=j,f;
29ideal i=std(j);
30
31ring r=32003,(w,x,y,z),ds;
32int a =20;
33int b =10;
34int c =3;
35int t =1;
36poly f= x^a+y^b+z^(3*c)+x^(c+2)*y^(c-1)+x^(c-1)*y^(c-1)*z3+x^(c-2)*y^c*(y2+t*x)^2;
37ideal j=jacob(f);
38ideal i=std(j);
39
40ring r=32003,(x,y,z),ds;
41int a =30;
42int b =20;
43int c =7;
44int t =1;
45poly f= x^a+y^b+z^(3*c)+x^(c+2)*y^(c-1)+x^(c-1)*y^(c-1)*z3+x^(c-2)*y^c*(y2+t*x)^2;
46ideal j=jacob(f);
47ideal i=std(j);
48
49ring r=32003,(x,y,z),ds;
50int a=20;
51poly f =xyz*(x+y+z)^2 +(x+y+z)^3 +x^a+y^a+z^a;
52ideal i= jacob(f);
53i=i,f;
54ideal j=std( i);
55
56ring r=32003,(w,x,y,z),ds;
57int a=7;
58poly f =xyz*(x+y+z)^2 +(x+y+z)^3 +x^a+y^a+z^a;
59ideal i= jacob(f);
60i=i,f;
61ideal j=std( i);
62
63ring s=32003,(x,y,z,u),ds;
64int a=7;
65poly f =xyzu*(x+y+z+u) +(x+y+z+u)^2 +x^a+y^a+z^a+u^a;
66ideal i= jacob(f);
67ideal j=std( i);
68
69ring r=32003,(x,y,z,t,u,v),ds;
70ideal i=
71(y+u+v-zt)*(z+t+2u-3xt),
72z2+t2+2u2-3u2v,
73yx+t2+2yv-xyz,
74xv-yu-zt-t2-u2-v2,
75-1569yz3+31250x2tu,
76-587yt+15625zv;
77ideal j=std( i);
78
79ring r = 32003,(z(3..1),x(13..7),u(6..2)),ds;
80ideal in =
81u(5)*u(2)^2-u(3)*u(4)^2-u(3)*u(5)^2+u(5)*u(3)^2,u(6)^10,
822*u(3)*x(7)*u(4)+u(4)*u(2)*u(5)-2*x(7)*u(2)*u(5),
83u(3)*u(5)^2-u(5)*u(3)^2-u(4)*u(2)*u(3),
84-2*x(7)*u(2)-2*u(3)*x(8)+u(4)*u(2)+u(3)*u(5),
85x(11)*u(2)-u(3)*x(10),
86-4*x(12)+3*x(10)+u(4),-4*x(13)+3*x(11)+u(5),2*u(3)*x(8)-u(2)^2-u(3)^2,
87z(1)*u(2)-u(6),z(2)*u(3)-u(6),
88z(3)*(u(5)*u(2)-u(3)*u(4))-u(6);
89ideal im=
90u(3)*u(5)^2-u(5)*u(3)^2-u(4)*u(2)*u(3),
91-4*x(12)+3*x(10)+u(4),-4*x(13)+3*x(11)+u(5),2*u(3)*x(8)-u(2)^2-u(3)^2,
92z(3)*(u(5)*u(2)-u(3)*u(4))-u(6);
93ideal i=in*im;
94ideal j=std( i);
95
96ring r = 32003,(x(1..7)),ds;
97ideal i =
98-2*x(4)*x(5)-2*x(3)*x(6)^2-2*x(2)*x(7)-1*x(1)^3,
99-2*x(1)*x(2)-2*x(4)*x(6)^2-2*x(3)*x(7)-1*x(2)^3,
100-2*x(1)*x(3)-2*x(5)*x(6)^2-2*x(4)*x(7)-1*x(3)^3,
101-2*x(2)*x(3)-2*x(1)*x(4)-2*x(5)*x(7)-1*x(4)^3,
102-2*x(2)*x(5)-2*x(1)^2;
103ideal j=std( i);
104
Note: See TracBrowser for help on using the repository browser.