jakobkroeker / test_singular

manage a personal issue list for Singular CAS
0 stars 0 forks source link

std(stdI,J) not standard basis with disabled 'redTail' and enabled 'redSB' #198

Closed jakobkroeker closed 9 years ago

jakobkroeker commented 9 years ago

upstream:http://www.singular.uni-kl.de:8002/trac/ticket/713

ring rng = (167),(x,y,z),(dp(3),C);
short = 0 ;
option(noredTail);
option(redSB);
system("random", 1300476452);
ideal I = 20*y*z-44;
ideal J = -15*x*z-24,5*x*y^2+33*x-1;
   ideal gI   =  std(I);
   ideal IJ   = I+J;
   ideal gIJ  = std(IJ);
   ideal gI_J = std(gI,J);
ASSUME(0, 0== size( std(reduce (I,gI ) ))  );
ASSUME(0, 0== size( std(reduce (IJ,gIJ ) ))  ); 
reduce (IJ, gI_J );

output

_[1]=0
_[2]=0
_[3]=33*x+24*y