fieker-DuValspielwiese
Last change
on this file since b7d0a9c 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
|
Rev | Line | |
---|
[c0c722] | 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.