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:

Description

Failing example: 

ring rng = integer,(t,x),dp;
ideal I = t-3,x-4;
ideal J = 3t,7;
intersectZ(I,J);
// ** name conflict var(1) and var(2): `t`, rename to `@(2)`
//_[1]=14
//_[2]=7x
// wrong ! correct result is
//_[1]=7*x-28
//_[2]=7*t-21
//_[3]=t*x+24*t-84
//_[4]=t^2-3*t

here is the corresponding fix: ​https://github.com/Singular/Sources/pull/573

Change History (1)

comment:1 Changed 9 years ago by boehm

Resolution: → fixed
Status: new → closed

Fixed with cc93648bb3a08e6c164492388931a8f27ce17693

Note: See TracTickets for help on using tickets.