Project

General

Profile

Feature #529

Naive version of resolution and Betti numbers

Added by Anna Maria Bigatti about 10 years ago. Updated almost 10 years ago.

Status:
Closed
Priority:
High
Category:
CoCoA-4 function to be added
Target version:
Start date:
09 Apr 2014
Due date:
% Done:

100%

Estimated time:
5.00 h
Spent time:

Description

Implement a naive version of resolution and Betti numbers while hoping for the (very delicate) optimized resolution algorithm implementation.


Related issues

Related to CoCoALib - Feature #409: Minimal syzygies (optimized implementation)New2013-10-17

Related to CoCoA-5 - Bug #509: SyzOfGens (CoCoA-5) does not have correct shiftsClosed2014-04-03

History

#1 Updated by Anna Maria Bigatti about 10 years ago

  • Assignee set to Anna Maria Bigatti
  • % Done changed from 0 to 30

I now have implemented BettiMatrix and BettiDiagram in CoCoALanguage.
Where should they go? What syntax should they have?
Now the resolution is both naive (i.e. slow) and is not stored internally (not a trivial task).
So calling Betti.... would recompute the resolution.

#2 Updated by Anna Maria Bigatti about 10 years ago

  • Status changed from New to Resolved

(design, testing, documenting)
Public functions are PrintRes, PrintBettiMatrix and PrintBettiDiagram.
Documented.

#3 Updated by Anna Maria Bigatti about 10 years ago

  • % Done changed from 30 to 80

#4 Updated by Anna Maria Bigatti almost 10 years ago

  • Status changed from Resolved to Closed
  • Priority changed from Normal to High
  • % Done changed from 80 to 100

It works, but should be cleaned up.
Mainly we should store the resolutions in the ideal (together with Hilbert, Janet..).
That is another issue (and not trivial).

Closing.

Also available in: Atom PDF