Ignore:
Timestamp:
Feb 6, 2015, 3:17:05 PM (9 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
5aa4ee0dffb8264ef5e192f59a3cd4f75b0a779c
Parents:
49189ca4b14ebf7480f254e5482e4d346589216a
Message:
format
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Tst/Short/test_unit_ideal_decomposition.tst

    r49189c rd0bdb6  
    9797/////////////////////////////////////////////////////////////////////////////////////////
    9898ring rng1 = 0,(x,y),dp;
    99 ideal I = x+y,x+1,y; 
     99ideal I = x+y,x+1,y;
    100100
    101101list pr = primdecGTZE(I);
     
    159159/////////////////////////////////////////////////////////////////////////////////////////
    160160ring rng2 = 0,(x,y),dp;
    161 ideal I = x+y,x+1,y; 
     161ideal I = x+y,x+1,y;
    162162
    163163if (defined(pr)) {kill pr;}
    164164list pr = primdecGTZE(I);
    165  
     165
    166166testPrimdecUnitOrigBehaviour( primdecGTZ,I );
    167167testPrimdecUnitOrigBehaviour( primdecGTZkeepKomp,I );
     
    181181/////////////////////////////////////////////////////////////////////////////////////////
    182182
    183  
     183
    184184ring rng3 = 0,(x,y),ds;
    185 ideal I = x+y,x+1,y; 
     185ideal I = x+y,x+1,y;
    186186
    187187// illegal ASSUME(0, testPrimaryE(pr,I) );
     
    205205
    206206testPrimdecUnit( primdecGTZ,I ,0);
    207 //testPrimdecUnit( primdecGTZkeepKomp,I ,0);     
     207//testPrimdecUnit( primdecGTZkeepKomp,I ,0);
    208208testPrimdecUnit( 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);
    213213testPrimdecUnit( primdecSY, I ,0);
    214214testPrimdecUnit( primdecSYNoOptimalOrdering, I ,0);
    215215testPrimdecUnit( minAssChar,I ,0);
    216216testPrimdecUnit( 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
     221ring rng4 = (7,a),(x,y,z),dp;
    222222minpoly = 1*a^2+6*a^1+3*a^0;
    223 ideal I = x+y,x+1,y; 
     223ideal I = x+y,x+1,y;
    224224
    225225testPrimdecUnitNewBehaviour( wDecompE,        I );
     
    250250testPrimdecUnitOrigBehaviour( wDecomp,        I );
    251251testPrimdecUnitOrigBehaviour( primdecGTZ,I );
    252 testPrimdecUnitOrigBehaviour( primdecGTZkeepKomp,I ); 
     252testPrimdecUnitOrigBehaviour( primdecGTZkeepKomp,I );
    253253testMinAssUnitOrigBehaviour ( minAssGTZ, I );
    254 testMinAssUnitOrigBehaviour ( minAssGTZFacSTD, I ); 
    255 testMinAssUnitOrigBehaviour ( minAssGTZnoFacSTD, I ); 
    256 testMinAssUnitOrigBehaviour ( minAssGTZGTZ, I ); 
    257 testMinAssUnitOrigBehaviour ( minAssGTZorigNoFacSTD, I ); 
     254testMinAssUnitOrigBehaviour ( minAssGTZFacSTD, I );
     255testMinAssUnitOrigBehaviour ( minAssGTZnoFacSTD, I );
     256testMinAssUnitOrigBehaviour ( minAssGTZGTZ, I );
     257testMinAssUnitOrigBehaviour ( minAssGTZorigNoFacSTD, I );
    258258testPrimdecUnitOrigBehaviour( primdecSY, I );
    259259testPrimdecUnitOrigBehaviour( primdecSYNoOptimalOrdering, I );
     
    276276/////////////////////////////////////////////////////////////////////////////////////////
    277277/////////////////////////////////////////////////////////////////////////////////////////
    278  
     278
    279279ring rng5 = (7,a),(x,y,z),ds; minpoly = a^2 + a+3;
    280 ideal I = x+y,x+1,y; 
     280ideal I = x+y,x+1,y;
    281281
    282282testPrimdecUnitNewBehaviour( primdecGTZE,I );
Note: See TracChangeset for help on using the changeset viewer.