Opened 9 years ago

Closed 9 years ago

## #559 closed bug (fixed)

# bug in reduce in qring over integers

Reported by: | Owned by: | somebody | |
---|---|---|---|

Priority: | major | Milestone: | 4-1-0 and higher |

Component: | singular-kernel | Version: | 4-0-0 |

Keywords: | bug reduce qring integers | Cc: |

### Description

Hello,

reduce has a bug in qring over integers. Here is the failing example:

ring rng = integer,(x,y,z),dp; ideal iq = 2*y+1, 4*x*z+3*y, y^2-2*x*z-y; iq = std(iq); qring rngQ = iq; ideal J = 3, y-4, x*z; ideal stdJ = groebner(J); stdJ; // = 3 def reduceRes = reduce( J, stdJ); //_[1]=0 //_[2]=y-4 //_[3]=xz std(reduceRes); // =3, wrong!

**Note:**See TracTickets for help on using tickets.