spielwiese
|
Last change
on this file since c62827 was
c62827,
checked in by Jakob Kröker <kroeker@…>, 10 years ago
|
|
test for ticket 256 and small bugfixes
add tests related to ticket 469
|
-
Property mode set to
100644
|
|
File size:
1.2 KB
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | |
|---|
| 5 | LIB("normal.lib"); |
|---|
| 6 | ring rng = 0, (T(2),T(3),y,x ),(dp(2),dp(2) ); |
|---|
| 7 | ideal I = T(3)*x^2-y^3+y,T(3)^2+T(2)*x-y*x^5-y^2*x+x,T(2)^2+T(2)-T(3)*x,x^9+y*x^5-y^5+y^3,T(3)*y^2-x^7-y*x^3,T(2)*y-x^4,T(2)*x^3-T(3)*y+x^3,T(2)*T(3)-y^2*x^2+x^2; |
|---|
| 8 | I = std(I); |
|---|
| 9 | dim(I); |
|---|
| 10 | def J = equidim(std(I))[1]; |
|---|
| 11 | int g1,g2,g3; |
|---|
| 12 | g1 = genus(J); |
|---|
| 13 | g1; |
|---|
| 14 | g2 = genus(J,"pri"); |
|---|
| 15 | g2; |
|---|
| 16 | g3 = genus(J,"nor"); |
|---|
| 17 | g3; |
|---|
| 18 | |
|---|
| 19 | |
|---|
| 20 | ASSUME(0, g1==g2 && g2==g3 ); |
|---|
| 21 | |
|---|
| 22 | /* needs too long... |
|---|
| 23 | |
|---|
| 24 | LIB("normal.lib"); |
|---|
| 25 | ring r = 0,(y,x),dp; |
|---|
| 26 | ideal I = y^5-y^3-y*x^5-x^9; |
|---|
| 27 | dim(std(I) ); |
|---|
| 28 | g1 = genus(I); |
|---|
| 29 | g1; |
|---|
| 30 | g2 = genus(I,"pri"); |
|---|
| 31 | g2; |
|---|
| 32 | g3 = genus(I,"nor"); |
|---|
| 33 | g3; |
|---|
| 34 | |
|---|
| 35 | |
|---|
| 36 | ASSUME(0, g1==g2 && g2==g3 ); |
|---|
| 37 | |
|---|
| 38 | list nor = normal(I); |
|---|
| 39 | |
|---|
| 40 | def R=nor[1][1]; |
|---|
| 41 | setring R; |
|---|
| 42 | ideal s=std(norid); |
|---|
| 43 | g1 = genus(s); |
|---|
| 44 | g1; |
|---|
| 45 | g2 = genus(s,"pri"); |
|---|
| 46 | g2; |
|---|
| 47 | g3 = genus(s,"nor"); |
|---|
| 48 | g3; |
|---|
| 49 | |
|---|
| 50 | |
|---|
| 51 | ASSUME(0, g1==g2 && g2==g3 ); |
|---|
| 52 | |
|---|
| 53 | |
|---|
| 54 | LIB("normal.lib"); |
|---|
| 55 | ring rng = 0, (T(1),T(2),T(3),y,x ),(dp(3),dp(2) ); |
|---|
| 56 | ideal I = x^9+y*x^5-y^5+y^3,T(3)*x^2-y^3+y,T(3)*y^2-x^7-y*x^3,T(2)*y-x^4,T(2)*x^3-T(3)*y+x^3,T(1)-T(3)*x,T(3)^2+T(2)*x-y*x^5-y^2*x+x,T(2)*T(3)-y^2*x^2+x^2,T(2)^2+T(2)-T(3)*x; |
|---|
| 57 | I = std(I); |
|---|
| 58 | def J = equidim(std(I))[1]; |
|---|
| 59 | g1 = genus(J); |
|---|
| 60 | g1; |
|---|
| 61 | g2 = genus(J,"pri"); |
|---|
| 62 | g2; |
|---|
| 63 | g3 = genus(J,"nor"); |
|---|
| 64 | g3; |
|---|
| 65 | |
|---|
| 66 | |
|---|
| 67 | ASSUME(0, g1==g2 && g2==g3 ); |
|---|
| 68 | |
|---|
| 69 | |
|---|
| 70 | kill rng; |
|---|
| 71 | |
|---|
| 72 | */ |
|---|
| 73 | |
|---|
| 74 | |
|---|
| 75 | |
|---|
| 76 | tst_status(1); $ |
|---|
| 77 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
