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;
[1]
_[1]=z
_[2]=7y-6
_[3]=-245z2+30x+203z
[2]
_[1]=60025z3-99470z2+41209z+900
_[2]=7y-6
_[3]=-245z2+30x+203z
[3]
_[1]=z
_[2]=y
> ma2;
[1]
_[1]=z
_[2]=y
[2]
_[1]=60025z3-99470z2+41209z+900
_[2]=7y-6
_[3]=-245z2+30x+203z
1
> idealsEqual( intersect(ma2[1],ma2[2] ), 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.