Opened 9 years ago

Closed 6 years ago

#552 closed bug (invalid)

bug in primdecEHV?

Reported by: kroeker@… Owned by: pfister
Priority: minor Milestone: 4-1-0 and higher
Component: singular-libs Version: 4-0-0
Keywords: primdecEHV Cc:

Description

The output of primdecEHV and primdecGTZ differs sometimes. here are some of the related examples:

LIB("ehv.lib");

ring rng = 0,(x),dp;
ideal j = -3*x^2+4*x;

list L1 = primdecGTZ(j);
L1;
list L2 = primdecEHV(j);
L2;


ideal j = 6*x^2+3*x;

list L1 = primdecGTZ(j);
L1;
list L2 = primdecEHV(j);
L2;

the corresponding output is:

. ring rng = 0,(x),dp;
> ideal j = -3*x^2+4*x;
> 
. list L1 = primdecGTZ(j);
> L1;
[1]:
   [1]:
      _[1]=x
   [2]:
      _[1]=x
[2]:
   [1]:
      _[1]=3x-4
   [2]:
      _[1]=3x-4
> list L2 = primdecEHV(j);
> L2;
[1]:
   [1]:
      _[1]=3x2-4x
   [2]:
      _[1]=3x2-4x
> 
. 
. j = 6*x^2+3*x;
> 
. list L1 = primdecGTZ(j);
> L1;
[1]:
   [1]:
      _[1]=x
   [2]:
      _[1]=x
[2]:
   [1]:
      _[1]=2x+1
   [2]:
      _[1]=2x+1
> list L2 = primdecEHV(j);
> L2;
[1]:
   [1]:
      _[1]=2x2+x
   [2]:
      _[1]=2x2+x

Change History (2)

comment:1 Changed 9 years ago by mlee

Owner: changed from somebody to pfister

comment:2 Changed 6 years ago by hannes

Resolution: invalid
Status: newclosed

primdecEHV is obsolete: no bug fixes for that.

Note: See TracTickets for help on using tickets.