Changeset d0bdb6 in git for Tst/Short/test_unit_ideal_decomposition.tst
- Timestamp:
- Feb 6, 2015, 3:17:05 PM (9 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 5aa4ee0dffb8264ef5e192f59a3cd4f75b0a779c
- Parents:
- 49189ca4b14ebf7480f254e5482e4d346589216a
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Tst/Short/test_unit_ideal_decomposition.tst
r49189c rd0bdb6 97 97 ///////////////////////////////////////////////////////////////////////////////////////// 98 98 ring rng1 = 0,(x,y),dp; 99 ideal I = x+y,x+1,y; 99 ideal I = x+y,x+1,y; 100 100 101 101 list pr = primdecGTZE(I); … … 159 159 ///////////////////////////////////////////////////////////////////////////////////////// 160 160 ring rng2 = 0,(x,y),dp; 161 ideal I = x+y,x+1,y; 161 ideal I = x+y,x+1,y; 162 162 163 163 if (defined(pr)) {kill pr;} 164 164 list pr = primdecGTZE(I); 165 165 166 166 testPrimdecUnitOrigBehaviour( primdecGTZ,I ); 167 167 testPrimdecUnitOrigBehaviour( primdecGTZkeepKomp,I ); … … 181 181 ///////////////////////////////////////////////////////////////////////////////////////// 182 182 183 183 184 184 ring rng3 = 0,(x,y),ds; 185 ideal I = x+y,x+1,y; 185 ideal I = x+y,x+1,y; 186 186 187 187 // illegal ASSUME(0, testPrimaryE(pr,I) ); … … 205 205 206 206 testPrimdecUnit( primdecGTZ,I ,0); 207 //testPrimdecUnit( primdecGTZkeepKomp,I ,0); 207 //testPrimdecUnit( primdecGTZkeepKomp,I ,0); 208 208 testPrimdecUnit( minAssGTZ, I ,0); 209 // testPrimdecUnit( minAssGTZFacSTD, I ,0); 210 // testPrimdecUnit( minAssGTZnoFacSTD, I ,0); 211 // testPrimdecUnit( minAssGTZGTZ, I ,0); 212 // testPrimdecUnit( minAssGTZorigNoFacSTD, I ,0); 209 // testPrimdecUnit( minAssGTZFacSTD, I ,0); 210 // testPrimdecUnit( minAssGTZnoFacSTD, I ,0); 211 // testPrimdecUnit( minAssGTZGTZ, I ,0); 212 // testPrimdecUnit( minAssGTZorigNoFacSTD, I ,0); 213 213 testPrimdecUnit( primdecSY, I ,0); 214 214 testPrimdecUnit( primdecSYNoOptimalOrdering, I ,0); 215 215 testPrimdecUnit( minAssChar,I ,0); 216 216 testPrimdecUnit( minAssCharNoOptimalOrdering,I ,0); 217 // invalid: testPrimdecUnit( minAssPrimesOrig,I ,0); 218 ///////////////////////////////////////////////////////////////////////////////////////// 219 ///////////////////////////////////////////////////////////////////////////////////////// 220 221 ring rng4 = (7,a),(x,y,z),dp; 217 // invalid: testPrimdecUnit( minAssPrimesOrig,I ,0); 218 ///////////////////////////////////////////////////////////////////////////////////////// 219 ///////////////////////////////////////////////////////////////////////////////////////// 220 221 ring rng4 = (7,a),(x,y,z),dp; 222 222 minpoly = 1*a^2+6*a^1+3*a^0; 223 ideal I = x+y,x+1,y; 223 ideal I = x+y,x+1,y; 224 224 225 225 testPrimdecUnitNewBehaviour( wDecompE, I ); … … 250 250 testPrimdecUnitOrigBehaviour( wDecomp, I ); 251 251 testPrimdecUnitOrigBehaviour( primdecGTZ,I ); 252 testPrimdecUnitOrigBehaviour( primdecGTZkeepKomp,I ); 252 testPrimdecUnitOrigBehaviour( primdecGTZkeepKomp,I ); 253 253 testMinAssUnitOrigBehaviour ( minAssGTZ, I ); 254 testMinAssUnitOrigBehaviour ( minAssGTZFacSTD, I ); 255 testMinAssUnitOrigBehaviour ( minAssGTZnoFacSTD, I ); 256 testMinAssUnitOrigBehaviour ( minAssGTZGTZ, I ); 257 testMinAssUnitOrigBehaviour ( minAssGTZorigNoFacSTD, I ); 254 testMinAssUnitOrigBehaviour ( minAssGTZFacSTD, I ); 255 testMinAssUnitOrigBehaviour ( minAssGTZnoFacSTD, I ); 256 testMinAssUnitOrigBehaviour ( minAssGTZGTZ, I ); 257 testMinAssUnitOrigBehaviour ( minAssGTZorigNoFacSTD, I ); 258 258 testPrimdecUnitOrigBehaviour( primdecSY, I ); 259 259 testPrimdecUnitOrigBehaviour( primdecSYNoOptimalOrdering, I ); … … 276 276 ///////////////////////////////////////////////////////////////////////////////////////// 277 277 ///////////////////////////////////////////////////////////////////////////////////////// 278 278 279 279 ring rng5 = (7,a),(x,y,z),ds; minpoly = a^2 + a+3; 280 ideal I = x+y,x+1,y; 280 ideal I = x+y,x+1,y; 281 281 282 282 testPrimdecUnitNewBehaviour( primdecGTZE,I );
Note: See TracChangeset
for help on using the changeset viewer.