| 1 | option(prot,sugarCrit); |
|---|
| 2 | " ============= cyclic_roots_5(isol) + =========================="; |
|---|
| 3 | ring r4 = 0,(a,b,c,d,e),dp; |
|---|
| 4 | r4; |
|---|
| 5 | poly s1=a+b+c+d+e; |
|---|
| 6 | poly s2=de+1cd+1bc+1ae+1ab; |
|---|
| 7 | poly s3=cde+1bcd+1ade+1abe+1abc; |
|---|
| 8 | poly s4=bcde+1acde+1abde+1abce+1abcd; |
|---|
| 9 | poly s5=abcde+1; |
|---|
| 10 | ideal i=s1,s2,s3,s4,s5; |
|---|
| 11 | ideal j=std(i); |
|---|
| 12 | "dim: "+ string(dim(j)) +", mult: "+ string(mult(j)) +", elem: " |
|---|
| 13 | + string(size(j)); |
|---|
| 14 | kill r4; |
|---|
| 15 | "==================== standard char0 ============================="; |
|---|
| 16 | // H7 l, char 0, test0,11,1: 61/31 ohne vollst; Reduktion |
|---|
| 17 | ring r= |
|---|
| 18 | 0,(x,y),lp; |
|---|
| 19 | poly f=x5+y11+xy9+x3y9; |
|---|
| 20 | ideal i=jacob(f); |
|---|
| 21 | ideal j=std( i); |
|---|
| 22 | size(j); |
|---|
| 23 | kill r; |
|---|
| 24 | " ============= cyclic_roots_6(homog) dp =========================="; |
|---|
| 25 | ring r6 = 0,(a,b,c,d,e,f),dp; |
|---|
| 26 | poly s1=a+b+c+d+e+f; |
|---|
| 27 | poly s2=ab+bc+cd+de+ef+fa; |
|---|
| 28 | poly s3=abc+bcd+cde+edf+efa+fab; |
|---|
| 29 | poly s4=abcd+bcde+cdef+defa+efab+fabc; |
|---|
| 30 | poly s5=abcde+bcdef+cdefa+defab+efabc+fabcd; |
|---|
| 31 | poly s6=abcdef+1; |
|---|
| 32 | ideal i=s1,s2,s3,s4,s5,s6; |
|---|
| 33 | ideal j=std(i); |
|---|
| 34 | "dim: "+ string(dim(j)) +", mult: "+ string(mult(j)) +", elem: " |
|---|
| 35 | + string(size(j)); |
|---|
| 36 | kill r6; |
|---|
| 37 | LIB "tst.lib";tst_status(1);$ |
|---|
