fieker-DuValspielwiese
Last change
on this file since 8d73ea was
581e00,
checked in by Hans Schönemann <hannes@…>, 23 years ago
|
*hannes bareiss(intmat) removed
git-svn-id: file:///usr/local/Singular/svn/trunk@5151 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
1010 bytes
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | option(prot); |
---|
4 | ring S = 32003,(e(1..6),s(1..9)),dp; |
---|
5 | ideal I= |
---|
6 | e(1)+e(2)+e(3)-s(1), |
---|
7 | e(4)^2+e(5)^2+e(6)^2-s(2), |
---|
8 | e(2)^2+e(2)*e(3)+e(3)^2-s(3), |
---|
9 | e(4)*e(5)*e(6)-s(4), |
---|
10 | e(2)*e(5)^2+2*e(3)*e(5)^2-e(2)*e(6)^2+e(3)*e(6)^2-s(5), |
---|
11 | e(3)^3-s(6), |
---|
12 | e(5)^4+e(5)^2*e(6)^2+e(6)^4-s(7), |
---|
13 | e(2)*e(3)*e(6)^2+e(3)^2*e(6)^2-s(8), |
---|
14 | e(2)*e(6)^4-s(9); |
---|
15 | qhweight(I); |
---|
16 | I[1]=I[1]+1; |
---|
17 | qhweight(I); |
---|
18 | I[1]=I[1]-1; |
---|
19 | I[2]=I[2]+1; |
---|
20 | qhweight(I); |
---|
21 | int d=100; |
---|
22 | int h=51; |
---|
23 | ring r=0,x(1..d),dp; |
---|
24 | ideal id; |
---|
25 | int j; |
---|
26 | id[d]=(x(1)+x(2))^3; |
---|
27 | for(j=2;j<d;j++) |
---|
28 | { |
---|
29 | id[j]=x(j+1)^2*x(j)+x(j)^2*x(j-1)-x(j)^3+1; |
---|
30 | } |
---|
31 | id[1]=x(d)+x(d-1); |
---|
32 | id=homog(id,x(1)); |
---|
33 | for(j=d;j>1;j--) |
---|
34 | { |
---|
35 | id[j]=id[j]*id[j-1]; |
---|
36 | } |
---|
37 | id[1]=id[1]^5; |
---|
38 | id=subst(id,x(h),x(h)^2); |
---|
39 | int s=size(id); |
---|
40 | int q=0; |
---|
41 | for(j=s;j>0;j--) |
---|
42 | { |
---|
43 | q=q+size(id[j]); |
---|
44 | } |
---|
45 | s; |
---|
46 | q; |
---|
47 | intvec vv=qhweight(id); |
---|
48 | vv; |
---|
49 | kill r; |
---|
50 | d=500; |
---|
51 | h=49; |
---|
52 | ring r=0,x(1..d),dp; |
---|
53 | ideal id; |
---|
54 | for(j=d-1;j>1;j--) |
---|
55 | { |
---|
56 | id[j]=x(j+1)+x(d-j); |
---|
57 | } |
---|
58 | id[1]=x(1)+x(2); |
---|
59 | id=subst(id,x(h),x(h)^2); |
---|
60 | vv=qhweight(id); |
---|
61 | vv; |
---|
62 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.