Feature #366
function (CoCoALib) for minimal generators (like old Minimalize)
Status:
Closed
Priority:
High
Assignee:
Category:
New Function
Target version:
Description
Might require some thoughts about GBMill
2014-04-02 postponed again GBMill. Added functions MinGens and myMinimalize (but design for ideals still needs re-thinking)
Related issues
History
#1
Updated by Anna Maria Bigatti almost 11 years ago
Updated by - Status changed from New to In Progress
- Assignee set to Anna Maria Bigatti
- Priority changed from Normal to High
- % Done changed from 0 to 40
#2
Updated by Anna Maria Bigatti almost 11 years ago
- % Done changed from 40 to 50
#3
Updated by Anna Maria Bigatti about 10 years ago
- Target version changed from CoCoA-5.0.9 to CoCoALib-0.99534 Seoul14
- % Done changed from 50 to 60
What should minimalize(I) do?
The cocoa-4 function would create a new ideal (submodule) generated by MinGens(I).
Of course that's easy to do. But it seems a real waste to remove all useful information contained in I, the GBasis at least.
Think about what should be copied into the new ideal.
#4
Updated by Anna Maria Bigatti about 10 years ago
- Status changed from In Progress to Resolved
- % Done changed from 60 to 80
Done.
The core function is called myMinimalize and is clever (i.e. saves all the precomputed data)
Called similarly to myElim and mySaturate. There is no "function" (i.e. minimalize(I))
Yet to do: for submodule.
#5
Updated by Anna Maria Bigatti about 10 years ago
- Status changed from Resolved to Feedback
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99532
- % Done changed from 80 to 90
#6
Updated by Anna Maria Bigatti about 10 years ago
- Subject changed from implement function for minimal generators (like old Minimalize) to function (CoCoALib) for minimal generators (like old Minimalize)
#7
Updated by Anna Maria Bigatti about 10 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
- Estimated time set to 10.00 h
#8
Updated by Anna Maria Bigatti over 6 years ago
- Related to Design #1123: Should "minimalize" be obsolescent? added