| 1 | option(prot); |
|---|
| 2 | "========= Beipiel Alex2 ============"; |
|---|
| 3 | "=== elem 97, dim 2, mult 13 ========"; |
|---|
| 4 | //=== 15: 4 min 33 sec |
|---|
| 5 | //=== 17 4 min 54 sec |
|---|
| 6 | //=== -,11,12: 4 min 29 sec |
|---|
| 7 | //=== 3 15: 4 min 28 sec |
|---|
| 8 | //=== 3 17: 4 min 42 sec |
|---|
| 9 | |
|---|
| 10 | ring a2=32003,(t, x, y, z),dp; |
|---|
| 11 | ideal i=2t3x5y2z+x2t5y+2x2y, |
|---|
| 12 | 2y3z2x+3z2t6x2y+9y2t3z, |
|---|
| 13 | 2t5z+y3x2t+z2t3y2x5; |
|---|
| 14 | ideal i0=std(i); |
|---|
| 15 | ";elem:",size(i0); |
|---|
| 16 | degree(i0); |
|---|
| 17 | i0; |
|---|
| 18 | kill i,i0; |
|---|
| 19 | kill a2; |
|---|
| 20 | |
|---|
| 21 | "========= Beipiel Alex3 ==========="; |
|---|
| 22 | "=== elem 119, dim 2, mult 1 ======="; |
|---|
| 23 | //=== 15: 1 min 31 sec |
|---|
| 24 | //=== 17 1 min 35 sec |
|---|
| 25 | //=== -,11,12: 1 min 32 sec |
|---|
| 26 | //=== 3 15: 1 min 22 sec |
|---|
| 27 | //=== 3 17: 1 min 23 sec |
|---|
| 28 | |
|---|
| 29 | ring a3=32003,(t, x, y, z),dp; |
|---|
| 30 | ideal i=5t3x8y2z+x2t5y+2x2y+5t, |
|---|
| 31 | 7y6z2x+6x2y+9y2t3z+4t6x, |
|---|
| 32 | 4t6z+8y3x5t+2t3y2x3+3x; |
|---|
| 33 | ideal i0=std(i); |
|---|
| 34 | ";elem:",size(i0); |
|---|
| 35 | degree(i0); |
|---|
| 36 | i0; |
|---|
| 37 | kill i,i0; |
|---|
| 38 | kill a3; |
|---|
| 39 | |
|---|
| 40 | "========= Beipiel Alex4 ========="; |
|---|
| 41 | "=== elem 80, dim 2, mult 67 ====="; |
|---|
| 42 | //=== 15: 26 sec |
|---|
| 43 | //=== 17 27 sec |
|---|
| 44 | //=== -,11,12: 25 sec |
|---|
| 45 | //=== 3 15: 24 sec |
|---|
| 46 | //=== 3 17: 22 sec |
|---|
| 47 | //=== 13 19: sec |
|---|
| 48 | ring a4=32003,(t, x, y, z),dp; |
|---|
| 49 | ideal i=4t4z3y+6z4x3t5+5x5z7, |
|---|
| 50 | 5t6z3y3x+5x2z4t3y7+4x5t5y, |
|---|
| 51 | 6z7t5y+6z3y2t4+2t8z6; |
|---|
| 52 | ideal i0=std(i); |
|---|
| 53 | ";elem:",size(i0); |
|---|
| 54 | degree(i0); |
|---|
| 55 | i0; |
|---|
| 56 | kill i,i0; |
|---|
| 57 | kill a4; |
|---|
| 58 | |
|---|
| 59 | "========= Beipiel Alex5 ========"; |
|---|
| 60 | "=== elem 37, dim 1, mult 44 ===="; |
|---|
| 61 | //=== 15: 39 sec |
|---|
| 62 | //=== 17 39 sec |
|---|
| 63 | //=== -,11,12: 37 sec |
|---|
| 64 | //=== 3 15: 42 sec |
|---|
| 65 | //=== 3 17: 33 sec |
|---|
| 66 | //=== 13 19: sec |
|---|
| 67 | ring a5=32003,(t, x, y, z),dp; |
|---|
| 68 | ideal i=4t2z+6z3t+3z2, |
|---|
| 69 | 5t2z7y3x+5x2z4t3y+3t, |
|---|
| 70 | 6zt2y+2x+6z2y2t+2y; |
|---|
| 71 | ideal i0=std(i); |
|---|
| 72 | ";elem:",size(i0); |
|---|
| 73 | degree(i0); |
|---|
| 74 | i0; |
|---|
| 75 | kill i,i0; |
|---|
| 76 | kill a5; |
|---|
| 77 | |
|---|
| 78 | "========= Beipiel Alex6 ======="; |
|---|
| 79 | "=== elem 28, dim 1, mult 55 ==="; |
|---|
| 80 | //=== 15: 1 min 47 sec |
|---|
| 81 | //=== 17 2 min 14 sec |
|---|
| 82 | //=== -,11,12: 1 min 40 sec |
|---|
| 83 | //=== 3 15: 1 min 19 sec |
|---|
| 84 | //=== 3 17: 1 min 20 sec |
|---|
| 85 | //=== 13 19: sec |
|---|
| 86 | ring a6=32003,(t, x, y, z),dp; |
|---|
| 87 | ideal i=4t2z+6z3t+3z2tx+3z, |
|---|
| 88 | 5t7yx+5x2z4t3y+3t, |
|---|
| 89 | 6zt2y+2x+6z2y2t+2y; |
|---|
| 90 | ideal i0=std(i); |
|---|
| 91 | ";elem:",size(i0); |
|---|
| 92 | degree(i0); |
|---|
| 93 | i0; |
|---|
| 94 | kill i,i0; |
|---|
| 95 | kill a6; |
|---|
| 96 | LIB "tst.lib";tst_status(1);$ |
|---|
