| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | echo=1; |
|---|
| 4 | |
|---|
| 5 | LIB("primdec.lib"); |
|---|
| 6 | |
|---|
| 7 | |
|---|
| 8 | proc testMinAssZero(method, I) |
|---|
| 9 | { |
|---|
| 10 | def result = method(I); |
|---|
| 11 | ASSUME(0, size(result)==1); |
|---|
| 12 | ASSUME(0, result[1][1]==0 ); |
|---|
| 13 | } |
|---|
| 14 | |
|---|
| 15 | |
|---|
| 16 | proc testPrimdecZero(method, I) |
|---|
| 17 | { |
|---|
| 18 | def result = method(I); |
|---|
| 19 | ASSUME(0, size(result)==1); |
|---|
| 20 | ASSUME(0, size(result[1])==2 ); |
|---|
| 21 | ASSUME(0, result[1][1][1]==0 ); |
|---|
| 22 | ASSUME(0, result[1][2][1]==0 ); |
|---|
| 23 | } |
|---|
| 24 | |
|---|
| 25 | proc primdecGTZkeepKomp (I) { return ( primdecGTZ(I,"keep_comp") ); } |
|---|
| 26 | proc minAssGTZFacSTD (I) { return ( minAssGTZ(I,"facstd") ); } |
|---|
| 27 | proc minAssGTZnoFacSTD (I) { return ( minAssGTZ(I,"noFacstd") ); } |
|---|
| 28 | proc minAssGTZorig (I) { return ( minAssGTZ(I,"GTZ") ); } |
|---|
| 29 | proc minAssGTZorigNoFacSTD (I) { return ( minAssGTZ(I,"GTZ","noFacstd") ); } |
|---|
| 30 | |
|---|
| 31 | proc primdecSYNoOptimalOrdering (I) { return ( primdecSY(I,0) ); } |
|---|
| 32 | proc minAssCharNoOptimalOrdering (I) { return ( minAssChar(I,0) ); } |
|---|
| 33 | |
|---|
| 34 | |
|---|
| 35 | ring rng = 0,(x,y),dp; |
|---|
| 36 | ideal I = x+y,x+1,y; ideal Z = 0 ; |
|---|
| 37 | |
|---|
| 38 | |
|---|
| 39 | testPrimdecZero( primdecGTZ,Z ); |
|---|
| 40 | testPrimdecZero( primdecGTZkeepKomp,Z ); |
|---|
| 41 | testMinAssZero( minAssGTZ, Z ); |
|---|
| 42 | testMinAssZero( minAssGTZFacSTD, Z ); |
|---|
| 43 | testMinAssZero( minAssGTZnoFacSTD, Z ); |
|---|
| 44 | testMinAssZero( minAssGTZorig, Z ); |
|---|
| 45 | testMinAssZero( minAssGTZorigNoFacSTD, Z ); |
|---|
| 46 | testPrimdecZero( primdecSY, Z ); |
|---|
| 47 | testPrimdecZero( primdecSYNoOptimalOrdering, Z ); |
|---|
| 48 | testMinAssZero( minAssChar,Z ); |
|---|
| 49 | testMinAssZero( minAssCharNoOptimalOrdering,Z ); |
|---|
| 50 | |
|---|
| 51 | |
|---|
| 52 | kill rng; |
|---|
| 53 | ring rng = 0,(x,y),ds; |
|---|
| 54 | ideal I = x+y,x+1,y; ideal Z = 0 ; |
|---|
| 55 | |
|---|
| 56 | |
|---|
| 57 | testPrimdecZero( primdecGTZ,Z ); |
|---|
| 58 | testPrimdecZero( primdecGTZkeepKomp,Z ); |
|---|
| 59 | testMinAssZero( minAssGTZ, Z ); |
|---|
| 60 | testMinAssZero( minAssGTZFacSTD, Z ); |
|---|
| 61 | testMinAssZero( minAssGTZnoFacSTD, Z ); |
|---|
| 62 | testMinAssZero( minAssGTZorig, Z ); |
|---|
| 63 | testMinAssZero( minAssGTZorigNoFacSTD, Z ); |
|---|
| 64 | testPrimdecZero( primdecSY, Z ); |
|---|
| 65 | testPrimdecZero( primdecSYNoOptimalOrdering, Z ); |
|---|
| 66 | testMinAssZero( minAssChar,Z ); |
|---|
| 67 | testMinAssZero( minAssCharNoOptimalOrdering,Z ); |
|---|
| 68 | |
|---|
| 69 | |
|---|
| 70 | kill rng; |
|---|
| 71 | ring rng = (7,a),(x,y,z),dp; minpoly = a^2+a+3; |
|---|
| 72 | ideal I = x+y,x+1,y; ideal Z = 0 ; |
|---|
| 73 | |
|---|
| 74 | |
|---|
| 75 | testPrimdecZero( primdecGTZ,Z ); |
|---|
| 76 | testPrimdecZero( primdecGTZkeepKomp,Z ); |
|---|
| 77 | testMinAssZero( minAssGTZ, Z ); |
|---|
| 78 | testMinAssZero( minAssGTZFacSTD, Z ); |
|---|
| 79 | testMinAssZero( minAssGTZnoFacSTD, Z ); |
|---|
| 80 | testMinAssZero( minAssGTZorig, Z ); |
|---|
| 81 | testMinAssZero( minAssGTZorigNoFacSTD, Z ); |
|---|
| 82 | testPrimdecZero( primdecSY, Z ); |
|---|
| 83 | testPrimdecZero( primdecSYNoOptimalOrdering, Z ); |
|---|
| 84 | |
|---|
| 85 | // minAssChar not implemented for... |
|---|
| 86 | |
|---|
| 87 | kill rng; |
|---|
| 88 | ring rng = (7,a),(x,y,z),ds; minpoly = a^2 + a+3; |
|---|
| 89 | ideal I = x+y,x+1,y; ideal Z = 0 ; |
|---|
| 90 | |
|---|
| 91 | |
|---|
| 92 | testPrimdecZero( primdecGTZ,Z ); |
|---|
| 93 | testPrimdecZero( primdecGTZkeepKomp,Z ); |
|---|
| 94 | testMinAssZero( minAssGTZ, Z ); |
|---|
| 95 | testMinAssZero( minAssGTZFacSTD, Z ); |
|---|
| 96 | testMinAssZero( minAssGTZnoFacSTD, Z ); |
|---|
| 97 | testMinAssZero( minAssGTZorig, Z ); |
|---|
| 98 | testMinAssZero( minAssGTZorigNoFacSTD, Z ); |
|---|
| 99 | testPrimdecZero( primdecSY, Z ); |
|---|
| 100 | testPrimdecZero( primdecSYNoOptimalOrdering, Z ); |
|---|
| 101 | |
|---|
| 102 | // minAssChar not implemented for... |
|---|
| 103 | |
|---|
| 104 | |
|---|
| 105 | tst_status(1); $ |
|---|
