Opened 9 years ago

Closed 8 years ago

# bug in minAssGTZ for "noFacstd" option?

Reported by: Owned by: kroeker@… pfister minor 4-1-0 and higher singular-libs 4-0-0 minAsGTZ bug noFacstd

### Description

example:

```LIB "primdec.lib";
ring rng = 0,(x,y,z),dp;
ideal I = 21*x^2*z+21*z^2,7*y^2-6*y,-5*x*y^2-29*y*z+30*z^2;
def ma1 = minAssGTZ (I);
def ma2 =  minAssGTZ(I,"noFacstd");  //wrong?
ma1;
ma2;
```

output:

```> ring rng = 0,(x,y,z),dp;
> ideal I = 21*x^2*z+21*z^2,7*y^2-6*y,-5*x*y^2-29*y*z+30*z^2;
> def ma1 = minAssGTZ (I);
> def ma2 =  minAssGTZ(I,"noFacstd");  //falsch
> ma1;

_=z
_=7y-6
_=-245z2+30x+203z

_=60025z3-99470z2+41209z+900
_=7y-6
_=-245z2+30x+203z

_=z
_=y
> ma2;

_=z
_=y

_=60025z3-99470z2+41209z+900
_=7y-6
_=-245z2+30x+203z
1
> idealsEqual( intersect(ma2,ma2 ), std(radical(I)) );
0
```

### comment:1 Changed 8 years ago by Oleksandr

Owner: changed from somebody to pfister

to be solved in Argentina

### comment:2 Changed 8 years ago by hannes

Resolution: → fixed new → closed
Note: See TracTickets for help on using tickets.