Feature #949
New function: IdealWithIncrementalGBasis(I, f)
Status:
New
Priority:
Normal
Assignee:
Category:
New Function
Target version:
Start date:
18 Oct 2016
Due date:
% Done:
0%
Estimated time:
Description
(from SC^2)
We could (easily?) implement a function doing an incremental GBasis: if I has GBasis GB, and we add a polynomial f, we just have to consider the pairs coming from f.
Tecnhically not too hard, but what should the syntax be?
In fact we want to get the new ideal together with its GBasis, so what would make most sense would be to return the ideal: precisely IdealWithIncrementalGBasis(I, f)
, a bit long, but is it clear?
[this is interesting for the SC-SQUARE project]
Related issues
History
#1 Updated by Anna Maria Bigatti over 7 years ago
- Related to Feature #957: New function: HasGBasis added
#2 Updated by John Abbott over 6 years ago
- Target version changed from CoCoALib-0.99560 to CoCoALib-0.99600
#3 Updated by Anna Maria Bigatti almost 6 years ago
- Target version changed from CoCoALib-0.99600 to CoCoALib-0.99650 November 2019
#4 Updated by John Abbott almost 5 years ago
- Target version changed from CoCoALib-0.99650 November 2019 to CoCoALib-0.99800
#5 Updated by John Abbott over 2 years ago
- Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850
#6 Updated by Anna Maria Bigatti 5 months ago
- Target version changed from CoCoALib-0.99850 to CoCoALib-0.99900