example fails on groebner but not on andromeda

[jakobkroeker]

origin: https://github.com/surface-smoothers/lipmanresolve/issues/408

LIB("ehv.lib");
ring rng = (7,vv),(xq,xo,xn,xr),(dp(4),C);
minpoly = (vv^2+vv+3);
ideal I = (-2*vv-2)*xo^2*xn+(vv+2)*xq*xn+(3*vv-2)*xr+(-vv+1),2*xq^2+(3*vv)*xo^2+(vv),(3*vv-1)*xn*xr^2+(vv+3)*xn*xr+(vv+3)*xn;
  list PGTZ = primdecGTZ (I);
  list   PSY = primdecSY (I);
 PGTZ;
 PSY;
  ASSUME(0, primDecsAreEquivalent(PGTZ,PSY)); //fails

output

>   PGTZ;
[1]:
   [1]:
      _[1]=xr+(3*vv)
      _[2]=xn
      _[3]=xq^2+(-2*vv)*xo^2+(-3*vv)
   [2]:
      _[1]=xr+(3*vv)
      _[2]=xn
      _[3]=xq^2+(-2*vv)*xo^2+(-3*vv)
[2]:
   [1]:
      _[1]=xr^2+(-vv-1)*xr+(-vv-1)
      _[2]=xq^2+(-2*vv)*xo^2+(-3*vv)
      _[3]=xo^2*xn+(-vv+3)*xq*xn+(-2*vv+2)*xr+(-2*vv-3)
   [2]:
      _[1]=xr^2+(-vv-1)*xr+(-vv-1)
      _[2]=xq^2+(-2*vv)*xo^2+(-3*vv)
      _[3]=xo^2*xn+(-vv+3)*xq*xn+(-2*vv+2)*xr+(-2*vv-3)
>   PSY;
[1]:
   [1]:
      _[1]=xr^2+(-vv-1)*xr+(-vv-1)
      _[2]=xq^2+(-2*vv)*xo^2+(-3*vv)
      _[3]=xo^2*xn+(-vv+3)*xq*xn+(-2*vv+2)*xr+(-2*vv-3)
   [2]:
      _[1]=xq^2+(-2*vv)*xo^2+(-3*vv)
      _[2]=xr^3+(2*vv-1)*xr^2+(-vv+1)*xr+2
      _[3]=xn*xr^2+(-vv-1)*xn*xr+(-vv-1)*xn
      _[4]=xo^2*xn+(-vv+3)*xq*xn+(-2*vv+2)*xr+(-2*vv-3)
[2]:
   [1]:
      _[1]=xr+(3*vv)
      _[2]=xn
      _[3]=xq^2+(-2*vv)*xo^2+(-3*vv)
   [2]:
      _[1]=xr+(3*vv)
      _[2]=xn
      _[3]=xq^2+(-2*vv)*xo^2+(-3*vv)
>   ASSUME(0, primDecsAreEquivalent(PGTZ,PSY));
   ? ASSUME failed:  ASSUME(0, primDecsAreEquivalent(PGTZ,PSY));

jakobkroeker jakobkroeker added bug minor labels 28 days ago jakobkroeker jakobkroeker self-assigned this 28 days ago jakobkroeker jakobkroeker added this to the Singular 4.1.0 milestone 28 days ago