Opened 6 years ago

Last modified 6 years ago

## #16346 new defect

# bug in interreduced_basis() for integer coefficients

Reported by: | jakobkroeker | Owned by: | |
---|---|---|---|

Priority: | minor | Milestone: | sage-6.4 |

Component: | commutative algebra | Keywords: | singular bug interreduced_basis |

Cc: | Merged in: | ||

Authors: | Reviewers: | ||

Report Upstream: | Fixed upstream, but not in a stable release. | Work issues: | |

Branch: | Commit: | ||

Dependencies: | Stopgaps: |

### Description

The following example ends in a segfault in libsingular:

R.<x,y> = ZZ[]; I = R.ideal(x, 5*y, -3*x-4*y+2) I.interreduced_basis()

The bug is fixed upstream among some other bugs (e.g. in Singulars syz(), reduce(), mstd(); see Singulars bugtracker) for polynomial rings with integer coefficients , but not in a stable release.

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