search

adipopescu / To-Do-List

My Singular Project
0 stars 0 forks source link

observed a segfault on SignatureSB branch #40

Closed jakobkroeker closed 9 years ago

jakobkroeker commented 9 years ago

// lipmanresolve-with-flint/infiniteTests/log/test.std.correct.04/bugs$ more id_1.4.bug

option(redSB);
LIB "primdec.lib";
LIB "wrappers.lib";
ring rng = (integer),(x,y,z),(ls(3),C);
int trial = 3;
system("random", 158291770);
ideal 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;
ideal J = -1+7*y^3*z,-15+14*x+14*x*y*z,15*z+7*x-10*x*z+5*x*y^2;
       ideal gI =  std(I); // segfault

update: the example failed before commit https://github.com/adipopescu/Sources/commit/97ae2785900d5404d5ef09d1cd0b4f41f33b1efb

jakobkroeker commented 9 years ago

with the recent commit from 19 January the following example fails:

 ring rng = (integer),(x,y,z),(ls(3),C);
 intvec op = 67108866,16787537;
  option() ;
//options: intStrategy redefine loadLib usage prompt
  option(set, op) ;
 int trial = 53;
 system("random", 1792192072);
 ideal I = 7*x*z+3*x*z^2-x^2,4*z+6*z^2+2*y;
 ideal J = 5-5*z^2+3*y^2*z;
 ideal gI =  std(I); // segfault

the test was: test.std.correct.ZZ.random.01