CoCoA » CoCoALib

(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]