Feature #1637
Intersection of Ideals: has GBasis?
Start date:
01 Dec 2021
Due date:
% Done:
0%
Estimated time:
Description
When one computes the intersection of two ideals, are the resulting generators a GBasis?
Sometimes they are: can we identify these cases, and set the "has-gbasis" flag?
History
#1 Updated by John Abbott 2 months ago
- Target version changed from CoCoALib-0.99850 to CoCoALib-0.99900