Project

General

Profile

Bug #1824

(easy?) Problem in myGBasis_EasyCases

Added by John Abbott 8 days ago. Updated 7 days ago.

Status:
In Progress
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Maths Bugs
Target version:
CoCoALib-0.99850
Start date:
14 Jul 2024
Due date:
% Done:

10%

Estimated time:
Spent time:
0.60 h

Description

The exbug 1416 (in CoCoA-5/tests/exbugs.cocoa5) triggers an Assertion Failed

I think there us a logic error in void SparsePolyRingBase::IdealImpl::myGBasis_EasyCases() const

Is it OK for IhaveGBasis to be true and for myGBasisValue to be empty (e.g. zero ideal)?

History

#1 Updated by John Abbott 8 days ago

  • Assignee set to Anna Maria Bigatti

Is there documentation about how the various data members of an ideal interact?
Anyway, I expect this bug to be easy to fix (e.g. probably just remove the assertion)
AnnA it's yours!

#2 Updated by John Abbott 8 days ago

  • Status changed from New to In Progress
  • % Done changed from 0 to 10

I was careless before: it is good that the assertion there, because it is reporting that IHaveGBasis is false but that myGBasisValue is set -- this cannot be right! So who set myGBasisValue but did not set IhaveGBasis?

#3 Updated by John Abbott 7 days ago

Here is a copy of the failing example:

use P ::= QQ[x,y,z];
K := IdealOfProjectivePoints(P,mat([[0,1,1],[0,0,1]]));
MinGens(K);

Anna thinks it may be related to a partially-computed homog G-basis.

Also available in: Atom PDF