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 almost 11 years ago
- Status changed from New to Resolved
#2 Updated by Anna Maria Bigatti over 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 over 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 over 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 over 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 about 9 years ago
- Estimated time set to 4.50 h
#8 Updated by Anna Maria Bigatti about 9 years ago
- Estimated time changed from 4.50 h to 4.25 h