Opened 9 years ago

Closed 9 years ago

#609 closed bug (fixed)

bug in primdecint::intersectZ caused by variable renaming

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: singular-libs Version: 4-0-0
Keywords: bug intersectZ variable renaming Cc:


Failing example:

ring rng = integer,(t,x),dp;
ideal I = t-3,x-4;
ideal J = 3t,7;
// ** name conflict var(1) and var(2): `t`, rename to `@(2)`
// wrong ! correct result is

here is the corresponding fix:

Change History (1)

comment:1 Changed 9 years ago by boehm

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.