| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | |
|---|
| 3 | // These are some tests for computing Krull dimensions of ideals over integers |
|---|
| 4 | // The first one is the original bug found by Viktor Levandovskyy and Eva Zerz |
|---|
| 5 | |
|---|
| 6 | ring r = integer,x,dp; |
|---|
| 7 | ideal i = 4,2x; |
|---|
| 8 | i = std(i); |
|---|
| 9 | dim(i); |
|---|
| 10 | // bug!! correct result = 1 |
|---|
| 11 | kill r; |
|---|
| 12 | |
|---|
| 13 | ring r = integer,(x,y),dp; |
|---|
| 14 | ideal i = 6x,4y; |
|---|
| 15 | i = std(i); |
|---|
| 16 | dim(i); |
|---|
| 17 | kill r; |
|---|
| 18 | |
|---|
| 19 | ring r = integer,(x,y),dp; |
|---|
| 20 | ideal i = 6x10+xy,4y2+2y; |
|---|
| 21 | i = std(i); |
|---|
| 22 | dim(i); |
|---|
| 23 | kill r; |
|---|
| 24 | |
|---|
| 25 | ring r = integer,(x,y,z),dp; |
|---|
| 26 | ideal i = 8x,12y,18z; |
|---|
| 27 | i = std(i); |
|---|
| 28 | dim(i); |
|---|
| 29 | kill r; |
|---|
| 30 | |
|---|
| 31 | ring r = integer,(x,y,z),dp; |
|---|
| 32 | ideal i = 8x2+y,12y3+12z, 18z4+9x2; |
|---|
| 33 | i = std(i); |
|---|
| 34 | dim(i); |
|---|
| 35 | kill r; |
|---|
| 36 | |
|---|
| 37 | ring r = (integer,24),x,dp; |
|---|
| 38 | ideal i = 4,2x; |
|---|
| 39 | i = std(i); |
|---|
| 40 | dim(i); |
|---|
| 41 | kill r; |
|---|
| 42 | |
|---|
| 43 | ring r = (integer,24),(x,y),dp; |
|---|
| 44 | ideal i = 6x,4y; |
|---|
| 45 | i = std(i); |
|---|
| 46 | dim(i); |
|---|
| 47 | kill r; |
|---|
| 48 | |
|---|
| 49 | ring r = (integer,24),(x,y),dp; |
|---|
| 50 | ideal i = 6x10+xy,4y2+2y; |
|---|
| 51 | i = std(i); |
|---|
| 52 | dim(i); |
|---|
| 53 | kill r; |
|---|
| 54 | |
|---|
| 55 | ring r = (integer,24),(x,y,z),dp; |
|---|
| 56 | ideal i = 8x,12y,18z; |
|---|
| 57 | i = std(i); |
|---|
| 58 | dim(i); |
|---|
| 59 | kill r; |
|---|
| 60 | |
|---|
| 61 | ring r = (integer,24),(x,y,z),dp; |
|---|
| 62 | ideal i = 8x2+y,12y3+12z, 18z4+9x2; |
|---|
| 63 | i = std(i); |
|---|
| 64 | dim(i); |
|---|
| 65 | kill r; |
|---|
| 66 | |
|---|
| 67 | ring r = (integer),(x),dp; |
|---|
| 68 | dim(ideal(x)); |
|---|
| 69 | dim(ideal(2x)); |
|---|
| 70 | dim(ideal(2x,0)); |
|---|
| 71 | dim(ideal(0,2x)); |
|---|
| 72 | dim(ideal(6x)); |
|---|
| 73 | dim(ideal(0,x)); |
|---|
| 74 | kill r; |
|---|
| 75 | |
|---|
| 76 | ring r=(integer,2,4),(x,y),dp; |
|---|
| 77 | dim(ideal(x)); |
|---|
| 78 | kill r; |
|---|
| 79 | |
|---|
| 80 | ring r=(integer,2,4),x,dp; |
|---|
| 81 | dim(std(ideal(x))); |
|---|
| 82 | kill r; |
|---|
| 83 | |
|---|
| 84 | ring r=(integer,10),(x,y),dp; |
|---|
| 85 | dim(std(ideal(x))); |
|---|
| 86 | kill r; |
|---|
| 87 | |
|---|
| 88 | ring r=(integer,2,4),x,dp; |
|---|
| 89 | dim(std(ideal(x))); |
|---|
| 90 | kill r; |
|---|
| 91 | |
|---|
| 92 | ring r=(integer,10),(x,y),dp; |
|---|
| 93 | dim(std(ideal(x))); |
|---|
| 94 | kill r; |
|---|
| 95 | |
|---|
| 96 | ring r=(integer,2,4),x,dp; |
|---|
| 97 | dim(ideal(x,x)); |
|---|
| 98 | dim(ideal(x)); |
|---|
| 99 | dim(std(ideal(x))); |
|---|
| 100 | kill r; |
|---|
| 101 | |
|---|
| 102 | tst_status(1);$ |
|---|
