Project

General

Profile

Bug #1380

Make IsZeroDim more robust

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

Status:
Closed
Priority:
Normal
Assignee:
John Abbott
Category:
Improving
Target version:
CoCoALib-0.99700
Start date:
27 Dec 2019
Due date:
% Done:

100%

Estimated time:
1.11 h
Spent time:
1.15 h

Description

Currently IsZeroDim and the impl via IamZeroDim require the original ideal to have a minimal GB.
However, some functions (e.g. GBasisByHomog) can produce an ideal whose GB is not minimal.

Change impl of IamZeroDim so that it works even if the GB already memorized is not minimal.

Related issues

Related to CoCoALib - Bug #1379: Fails to recognize zero-dim idealClosed2019-12-27

History

#1 Updated by John Abbott over 4 years ago

  • Related to Bug #1379: Fails to recognize zero-dim ideal added

#2 Updated by John Abbott over 4 years ago

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

I have written a first impl; with this impl, the problem case in issue #1379 works (well, it does not give NYI).

I'll discuss with Anna, whether my impl is reasonable.
Not yet checked in...

#3 Updated by John Abbott over 4 years ago

  • Assignee set to John Abbott
  • % Done changed from 50 to 90
  • Estimated time set to 1.11 h

I have made a new version of IamZeroDim which works with any GB -- no longer needs a minGB.
All tests pass. Checking in in a few mins.

#4 Updated by John Abbott over 4 years ago

  • Target version changed from CoCoALib-0.99800 to CoCoALib-0.99700

#5 Updated by John Abbott over 4 years ago

  • Status changed from In Progress to Feedback

#6 Updated by John Abbott over 4 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Also available in: Atom PDF