Feature #409
Minimal syzygies (optimized implementation)
Description
As a first step towards a good implementation of resolution
in CoCoALib, implement optimized MinSyz
.
(Naive version is already implemented)
Related issues
History
#1 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99532
#2 Updated by Anna Maria Bigatti over 10 years ago
- Category set to New Function
- Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14
- Estimated time set to 10.00 h
#3 Updated by Anna Maria Bigatti about 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14
#4 Updated by Anna Maria Bigatti about 10 years ago
There is a naive implementation (compute MinGens, then syz, then minimalize).
Here we are talking of the optimized implementation.
#5 Updated by Anna Maria Bigatti almost 10 years ago
- Subject changed from Minimal syzygies to Minimal syzygies (optimized implementation)
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0