## #538 closed bug (fixed)

# primdec::quotientZ( I, J ) incorrect for J = ideal( 0 )

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

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

Component: | singular-libs | Version: | spielwiese |

Keywords: | quotientZ bug zero ideal | Cc: |

### Description

(I:J) for J zero ideal is (1), but quotientZ() says it is 0:

LIB("primdecint.lib"); ring rng = 0,x,dp; ideal I = 1; ideal J = 0; quotientZ(I,J); //_[1]=0 // should be 1!

A fix would probably be to check for size(J) in quotientZ :

if ( size(J)==0 ) { return( ideal(1) ); }

the same bug occurs in primdec::quotientOneZ(ideal I,poly f) for f=0.

### Change History (4)

### comment:1 Changed 11 years ago by

### comment:2 Changed 10 years ago by

Milestone: | Singular-spielwiese → 4-1-0 and higher |
---|

### comment:3 Changed 10 years ago by

Resolution: | → fixed |
---|---|

Status: | new → closed |

quotientZ is removed. The correct function (quotient) handle it correctly.

### comment:4 Changed 10 years ago by

Okay, I was too fast: quotientZ is still there but static. It really should be removed very soon - as all the other *Z routines.

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

Typo in "summary" of this bug description;

`Primdecint::quotientZ`

instead of`primdec::quotientZ`

Jakob