Changeset ae0188 in git


Ignore:
Timestamp:
Jul 7, 2015, 11:40:24 AM (8 years ago)
Author:
Adi Popescu <adi_popescum@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
Children:
a3cc8cd70b17cd2ed9977b0fa133d5c0ff42850c
Parents:
109e3852c9d0639f602e39af1b0a257f9a8ca393
Message:
removed system random from tests
Location:
Tst
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • Tst/Long/stdZtests.tst

    r109e385 rae0188  
    11LIB "tst.lib";
    22
    3     ring rng = (integer),(x,y,z),(lp(2),lp(1),C);
    4 int trial = 0;
    5 system("random", 1181381080);
     3ring rng = (integer),(x,y,z),(lp(2),lp(1),C);
    64ideal I = 124*x^2+99*x*y,58*x*y+31*y+120*z,65*x^2*z+54*y^2*z+58*y*z+95*y;
    75ideal J = 52*x*y^3*z+102*y^2,4*x*y^2*z+19*y^3*z-103*y-30;
    8        ideal gI =  std(I);
    9        ideal ggI = std(gI);
    10     size(gI);size(ggI);
    11     ideal gJ =  std(J);
    12        ideal ggJ = std(gJ);
    13     size(gJ);size(ggJ);
     6ideal gI =  std(I);
     7ideal ggI = std(gI);
     8size(gI);size(ggI);
     9ideal gJ =  std(J);
     10ideal ggJ = std(gJ);
     11size(gJ);size(ggJ);
    1412
    1513tst_status(1);

  • Tst/New/stdZtests.tst

    r109e385 rae0188  
    2121
    2222ring rng = (integer),(x,y,z),(ls(3),C);
    23 int trial = 3;
    24 //option(redSB);
    25 system("random", 820791554);
    26 ideal I = 1+7yz3,-4x+2xz+14x2,-9-10z2+8xz;
    2723ideal J = -2xz3+x2yz,3z-2xy-3xy2;
    28 // ideal gI = std(I);
    29 // ideal ggI = std(gI);
    3024ideal gJ = std(J);
    3125"Zweite:";
    3226ideal ggJ = std(gJ);
    33 //ASSUME(0, 0== size( std(reduce (I,gI ) )) );
    34 //ASSUME(0, 0== size( std(reduce (J,gJ ) )) );
    35 //idealsEqual(gI,ggI );
    3627gJ;ggJ;
    3728
    … …  
    3930
    4031//Github Adi #32
    41 
    42 option(redSB);
    4332
    4433ring rng = (integer),(x,y,z),dp;
    … …  
    5443
    5544ring rng = (integer),(x,y,z),(dp(3),C);
    56 int trial = 0;
    57 system("random", 912758297);
    5845ideal I = -27*x+25*z,-46*x*z+35*x,21*x-42;
    59        ideal gI =  std(I);
    60        ideal ggI =  std(gI);
    61 
     46ideal gI =  std(I);
     47ideal ggI =  std(gI);
    6248reduce (I,gI );
    6349
    … …  
    9985
    10086ring rng = (integer),(x,y,z),(dp(3),C);
    101 int trial = 0;
    102 system("random", 784341798);
    10387ideal I = -49*y^2+40*z^2+17,-34*z^2-3,-25*y*z-28*z;
    104        ideal gI =  std(I);
    105        ideal ggI =  std(gI);
     88ideal gI =  std(I);
     89ideal ggI =  std(gI);
    10690gI;
    10791ggI;
    … …  
    11094
    11195ring rng = (0),(x,y,z),(ls(3),C);
    112 
    113 system("random", 157161605);
    11496ideal I =
    11597(68/23)*z-(142/133)*y*z-(64/37)*x*y+(65/71)*x*y*z^2+(1/3)*x^2*y*z,(-2/7)*x*y*z-(61/91)*x*y^2*z;
    … …  
    141123
    142124ring rng = (integer),(x,y,z),(ls(3),C);
    143 int trial = 3;
    144 system("random", 820791554);
    145125ideal I = 1+7*y*z^3,-4*x+2*x*z+14*x^2,-9-10*z^2+8*x*z;
    146126ideal J = -14*x*z^3+5*x^2*y*z,15*z-7*x*y+12*x*y*z^2-11*x*y^2;
    147        ideal gI =  std(I);
    148        ideal ggI =  std(gI);
    149        ideal gJ =  std(J);
    150        ideal ggJ =  std(gJ);
     127ideal gI =  std(I);
     128ideal ggI =  std(gI);
     129ideal gJ =  std(J);
     130ideal ggJ =  std(gJ);
    1511310== size( std(reduce (I,gI ) )  );
    1521320== size( std(reduce (J,gJ ) )  );
    … …  
    163143option("redTail");
    164144option(redSB);
    165 system("random", 1022116625);
    166145ideal I = -14*y*z^2+7*x-11*x*y,-15*x*y,-8*y^2*z^2+5*x*y*z,5*y*z^2-15*y^2*z+8*x^2*z^2+3*x^2*y^2;
    167146ideal gI =  std(I);
    … …  
    172151
    173152//Github Adi #40
    174 option(redSB);
    175 
    176 ring rng = (integer),(x,y,z),(ls(3),C);
    177 int trial = 3;
    178 system("random", 158291770);
     153
     154ring rng = (integer),(x,y,z),(ls(3),C);
    179155ideal I = -10*x*y*z,12*z^2-8*y-14*x*z+14*x^2*y*z,-7*y^4+4*x^2+9*x^2*y;
    180156ideal J = -1+7*y^3*z,-15+14*x+14*x*y*z,15*z+7*x-10*x*z+5*x*y^2;
    181        ideal gI =  std(I);
     157ideal gI =  std(I);
    182158       
    183  ring rng = (integer),(x,y,z),(ls(3),C);
    184  intvec op = 67108866,16787537;
    185   option() ;
    186 //options: intStrategy redefine loadLib usage prompt
    187   option(set, op) ;
    188  int trial = 53;
    189  system("random", 1792192072);
    190  ideal I = 7*x*z+3*x*z^2-x^2,4*z+6*z^2+2*y;
    191  ideal J = 5-5*z^2+3*y^2*z;
    192  ideal gI =  std(I);
     159ring rng = (integer),(x,y,z),(ls(3),C);
     160ideal I = 7*x*z+3*x*z^2-x^2,4*z+6*z^2+2*y;
     161ideal J = 5-5*z^2+3*y^2*z;
     162ideal gI =  std(I);
    193163       
    194164
    … …  
    202172
    203173
    204 
    205 
    206174//Github Adi #20
     175
    207176ring rng = (integer),(xw,xq,xk),(lp(2),lp(1),C);
    208177ideal I = -4*xk+10;
    … …  
    211180
    212181
    213 
    214 
    215 
    216 
    217 
    218182//Github Adi #42
     183
    219184ring rng = (integer),(x,y,z),(dp(1),dp(2),C);
    220 intvec op = 100663296,16787537;
    221  option() ;
    222  option(set, op) ;
    223 int trial = 0;
    224 system("random", 1310165262);
    225185ideal I = 20*x*z+7*y^2;
    226186ideal J = 6*x*y+20*z+6,-5*x-16*y-11,8*x*y+2*y^2;
    227        ideal gI =  std(I);
    228        ideal ggI =  std(gI);
    229        ideal gJ =  std(J);
    230        ideal ggJ =  std(gJ);
     187ideal gI =  std(I);
     188ideal ggI =  std(gI);
     189ideal gJ =  std(J);
     190ideal ggJ =  std(gJ);
    231191std(reduce (I,gI )  );
    232192std(reduce (J,gJ )  );
    … …  
    238198
    239199//Github Adi #38
    240   ring rng =  (integer),(x(1),x(3),x(4),x(5)),(dp(4),C);
     200
     201ring rng =  (integer),(x(1),x(3),x(4),x(5)),(dp(4),C);
    241202ideal Q = x(4)^2-x(3)*x(5),
    242203x(3)*x(4)-x(5),
    243204x(3)^2-x(4),
    244205x(1)^2-121*x(5)^2-11*x(5)-1;
    245 
    246206Q = std(Q);
    247 Q;
    248207qring qr = Q;
    249 
    250  ideal a = x(5)-2;
    251  ideal j = 6,x(5)-2,x(4)+2,x(3)-2,x(1)+3;
    252  ideal aJJ = quotient(a*j,j); // ?
    253  aJJ;
    254  std(aJJ);
    255  aJJ;
    256 
    257 option(redSB);
     208ideal a = x(5)-2;
     209ideal j = 6,x(5)-2,x(4)+2,x(3)-2,x(1)+3;
     210ideal aJJ = quotient(a*j,j); // ?
     211aJJ;
     212std(aJJ);
     213aJJ;
    258214
    259215//segfaults
    260 
    261 
    262 //# segfaults
    263 
    264216//ok mit neue posinL11Ring
    265217
    266218ring rng = (integer),(x(1),x(2),x(3)),(ls(3),C);
    267 short = 0 ;
    268 minpoly = 0;
    269 intvec op = 67108864,16787537;
    270  option(set, op) ;
    271  option() ;
    272  // option() ;//options: intStrategy redefine loadLib usage prompt warn
    273 int trial = 96;
    274 system("random", 970755877);
    275219ideal I = -3*x(1)-10*x(1)*x(3);
    276220ideal J = -9*x(2)+9*x(1)*x(2),-3*x(2)*x(3)^2+10*x(1)*x(3)^2+10*x(1)^2*x(2);
    277        ideal gI =  std(I);
    278        ideal ggI =  std(gI);
    279        ideal gJ =  std(J);
    280        ideal ggJ =  std(gJ);
     221ideal gI =  std(I);
     222ideal ggI =  std(gI);
     223ideal gJ =  std(J);
     224ideal ggJ =  std(gJ);
    281225
    282226
    283227//ok now
     228
    284229ring rng = (integer),(x(1),x(2)),(ls(2),C);
    285 short = 0 ;
    286 minpoly = 0;
    287 intvec op = 67108864,16787537;
    288  option(set, op) ;
    289  option() ;
    290  // option() ;//options: intStrategy redefine loadLib usage prompt warn
    291 int trial = 4;
    292 system("random", 960625435);
    293230ideal I = -41*x(1)-10*x(1)^3*x(2),-22*x(2)^2-12*x(1)^3;
    294231ideal J = 14,35*x(1)*x(2)+12*x(1)*x(2)^3;
    295        ideal gI =  std(I);
    296        ideal ggI =  std(gI);
    297        ideal gJ =  std(J);
     232ideal gI =  std(I);
     233ideal ggI =  std(gI);
     234ideal gJ =  std(J);
    298235
    299236//ok now
    300237
    301238ring rng = (integer),(x(1),x(2)),(ls(2),C);
    302 short = 0 ;
    303 minpoly = 0;
    304 intvec op = 67108864,16787537;
    305  option(set, op) ;
    306  option() ;
    307  // option() ;//options: intStrategy redefine loadLib usage prompt warn
    308 int trial = 29;
    309 system("random", 550741380);
    310239ideal I = -22-24*x(1)^3,4*x(1)*x(2)^2-19*x(1)^2*x(2);
    311240ideal J = 16*x(1)*x(2),12-31*x(1)-43*x(1)*x(2);
    312        ideal gI =  std(I);
    313        ideal ggI =  std(gI);
    314        ideal gJ =  std(J);
    315 
    316 //in the new posinL11Ring works smooth, in the opther one takes forever
     241ideal gI =  std(I);
     242ideal ggI =  std(gI);
     243ideal gJ =  std(J);
     244
     245//in the new posinL11Ring works smooth, in the other one takes forever
    317246
    318247ring rng = (integer),(x(1),x(2)),(ls(2),C);
    319 short = 0 ;
    320 minpoly = 0;
    321 intvec op = 67108864,16787537;
    322  option(set, op) ;
    323  option() ;
    324  // option() ;//options: intStrategy redefine loadLib usage prompt warn
    325 int trial = 15;
    326 system("random", 1976068534);
    327248ideal I = -11*x(2),3*x(2)^2+8*x(1)*x(2)+3*x(1)*x(2)^2+12*x(1)^3,8*x(1)*x(2)^2-15*x(1)^3;
    328249ideal J = -2*x(1)-11*x(1)^2+10*x(1)^2*x(2),-13*x(1)*x(2)-10*x(1)^3;
    329        ideal gI =  std(I);
     250ideal gI =  std(I);
    330251
    331252//ok now
    332253
    333254ring rng = (integer),(x(1),x(2)),(ls(2),C);
    334 short = 0 ;
    335 minpoly = 0;
    336 intvec op = 67108864,16787537;
    337  option(set, op) ;
    338  option() ;
    339  // option() ;//options: intStrategy redefine loadLib usage prompt warn
    340 int trial = 68;
    341 system("random", 1702067426);
    342255ideal I = -10,15*x(1)*x(2)+8*x(1)*x(2)^2;
    343256ideal J = 2*x(1)^2*x(2),-3+2*x(1)*x(2);
    344        ideal gI =  std(I);
    345 
     257ideal gI =  std(I);
    346258
    347259//ok now
    348260
    349261ring rng = (integer),(x(1)),(ls(1),C);
    350 short = 0 ;
    351 minpoly = 0;
    352 intvec op = 67108864,16787537;
    353  option(set, op) ;
    354  option() ;
    355  // option() ;//options: intStrategy redefine loadLib usage prompt warn
    356 int trial = 65;
    357 system("random", 907801360);
    358262ideal I = -12+2*x(1)^2;
    359263ideal J = -6*x(1)^2+11*x(1)^4,-15;
    360        ideal gI =  std(I);
    361        ideal ggI =  std(gI);
    362        ideal gJ =  std(J);
    363 
    364 
     264ideal gI =  std(I);
     265ideal ggI =  std(gI);
     266ideal gJ =  std(J);
    365267
    366268//Github Adi #47
    … …  
    372274reduce(x,std(2*x));
    373275
    374 
    375 
    376276//Github Adi #46
    377277
    378278ring rng = integer,x,ds;
    379 short = 0 ;
    380279ideal J = -7, -3-15*x^2, -6+18*x-x^2;
    381280ideal gJ =  std(J);
    … …  
    459358
    460359ring rng = integer,x,lp;
    461 short = 0 ;
    462360option(noredSB) ;
    463361option(noredTail) ;

  • Tst/New/std_integer5.tst

    r109e385 rae0188  
    99-11y4z-66y3z;
    1010
    11   ideal stdIJ = std(IJ);
    12   stdIJ;
     11ideal stdIJ = std(IJ);
     12stdIJ;
    1313ideal stdstdIJ = std(stdIJ);
    14   stdstdIJ;
     14stdstdIJ;
    1515 
    1616tst_status(1);$
Note: See TracChangeset for help on using the changeset viewer.