Feature #365
add function to compute minimal generators (like Minimalize)
Description
2014-04 added MinGens, MinGensGeneral (for ideals and submodules) minimalize, minimalized (for ideals)
Related issues
History
#1
Updated by Anna Maria Bigatti over 10 years ago
Updated by - Status changed from New to Resolved
#2
Updated by Anna Maria Bigatti about 10 years ago
- % Done changed from 0 to 70
updated manual (will not work on quotients, no need).
Still lacking: module -- is that essentially trivial? (modulo putting together the right parts of code)
#3
Updated by Anna Maria Bigatti about 10 years ago
I implemented GeneralMinGens for the non-homogeneous case: it does the obvious check on every generator.
Obviously it works on homogeneous input as well (but slower than MinGens)
Currently in NotBuiltIn
#4
Updated by Anna Maria Bigatti about 10 years ago
Still missing: function on submodules!
If we have that working than we can have a silly/slow but working version of resolutions.
Can I manage?
#5
Updated by Anna Maria Bigatti about 10 years ago
- Status changed from Resolved to Feedback
- % Done changed from 70 to 90
Was tougher than I expected: ironically the core code (GBasis) was all done, but updating the module/submodule/FGModule code required much care (was I careful enough?)
#6
Updated by Anna Maria Bigatti about 10 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
#7
Updated by Anna Maria Bigatti almost 9 years ago
- Estimated time set to 4.50 h
#8
Updated by Anna Maria Bigatti almost 9 years ago
- Estimated time changed from 4.50 h to 4.25 h