| 1 | " ============= cyclic_roots_7(homog) d- =========================="; |
|---|
| 2 | "deg 60, dim 2, elem 99, Ende im Grad 17 |
|---|
| 3 | //Macaulay 3.55 min (SE/30), 2.45 sec (PowerBook) |
|---|
| 4 | //Sing1/93 (test 4 12) 3.01 min SE/30, 2.45 (PowerBook)"; |
|---|
| 5 | ring r6 = 32003,(a,b,c,d,e,f,g),ds; |
|---|
| 6 | r6; |
|---|
| 7 | poly s1=a+b+c+d+e+f; |
|---|
| 8 | poly s2=ab+bc+cd+de+ef+fa; |
|---|
| 9 | poly s3=abc+bcd+cde+edf+efa+fab; |
|---|
| 10 | poly s4=abcd+bcde+cdef+defa+efab+fabc; |
|---|
| 11 | poly s5=abcde+bcdef+cdefa+defab+efabc+fabcd; |
|---|
| 12 | poly s6=abcdef+g^6; |
|---|
| 13 | ideal i=s1,s2,s3,s4,s5,s6; |
|---|
| 14 | ideal j=std(i); |
|---|
| 15 | "dim: "+ string(dim(j)) +", mult: "+ string(mult(j)) +", elem: " |
|---|
| 16 | + string(size(j)); |
|---|
| 17 | j; |
|---|
| 18 | kill r6; |
|---|
| 19 | " ============= standard(homog) l1 d3- =========================="; |
|---|
| 20 | "deg 720, dim 1, elem 68 |
|---|
| 21 | // Sing1/93c:39sec (4 12) (PowerBook)"; |
|---|
| 22 | ring r8 = 32003,(t,x,y,z),(ls(1),ds(3)); |
|---|
| 23 | r8; |
|---|
| 24 | poly s1=1x3y2t4+21328x5yt3+10667x2y4t3+21328x2yz3t3+10666xy6t2+10667y9; |
|---|
| 25 | poly s2=1x2y2z2t2+3z8; |
|---|
| 26 | poly s3=5x4y2t4+4xy5t4+2x2y2z3t3+1y7t3+11x10; |
|---|
| 27 | ideal i=s1,s2,s3; |
|---|
| 28 | ideal j=std(i); |
|---|
| 29 | "dim: "+ string(dim(j)) +", mult: "+ string(mult(j)) +", elem: " |
|---|
| 30 | + string(size(j)); |
|---|
| 31 | j; |
|---|
| 32 | kill r8; |
|---|
| 33 | " ============= 3 Puiseux-Paare =========================="; |
|---|
| 34 | "deg , dim, elem "; |
|---|
| 35 | listvar(all); |
|---|
| 36 | ring p2=32003,(t, x, y),ls; |
|---|
| 37 | poly s1=x-t72; |
|---|
| 38 | poly s2=y-t84-t111-t160; |
|---|
| 39 | ideal i=s1,s2; |
|---|
| 40 | ideal j=std(i); |
|---|
| 41 | "dim: "+ string(dim(j)) +", mult: "+ string(mult(j)) +", elem: " |
|---|
| 42 | + string(size(j)); |
|---|
| 43 | j; |
|---|
| 44 | kill p2; |
|---|
| 45 | LIB "tst.lib";tst_status(1);$ |
|---|
