Project

General

Profile

Bug #1411

IsPrimary sometimes wrong

Added by John Abbott about 4 years ago. Updated about 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Maths Bugs
Target version:
CoCoALib-0.99700
Start date:
03 Feb 2020
Due date:
% Done:

100%

Estimated time:
1.25 h
Spent time:
1.20 h

Description

The IsPrimary sometimes gives a wrong result.

Here is an instance:

p:=2;
K::=ZZ/(p);
Use R::=K[x,y];
J:=ideal(x^2, y^2 +y +1);
IsPrimary(J); --> incorrectly gives false

Reported by email; simplified by Robbiano.

Related issues

Related to CoCoALib - Design #1409: myTestIsPrimary & Co. : fix designClosed2020-02-03

Related to CoCoALib - Design #1409: myTestIsPrimary & Co. : fix designClosed2020-02-03

History

#1 Updated by John Abbott about 4 years ago

  • Status changed from New to Resolved
  • Assignee set to John Abbott
  • % Done changed from 0 to 70
  • Estimated time set to 1.50 h

I think it is OK now.

The problem was in SparsePolyOps-ideal-ZeroDim.C around line 295. The result was computed but not set by myAssignaPrimaryFlag.
Added the call to myAssignPrimaryFlag. Seems to work now.

#2 Updated by Anna Maria Bigatti about 4 years ago

  • Related to Design #1409: myTestIsPrimary & Co. : fix design added

#3 Updated by John Abbott about 4 years ago

  • Related to Design #1409: myTestIsPrimary & Co. : fix design added

#4 Updated by John Abbott about 4 years ago

  • Status changed from Resolved to Closed
  • % Done changed from 70 to 100
  • Estimated time changed from 1.50 h to 1.25 h

This was a duplicate of #1409; server problems in Genoa meant I didn't know/notice that Anna had already resolved this.

Closing this issue; letting #1409 deal with completion.

Also available in: Atom PDF