Feature #1619
Make saturate available in CoCoALib
Description
It seems like this is already implemented. There is a function mySaturate in AlgebraicCore/SparsePolyOps-ideal.C.
It is not documented and I am not sure if it is intended to be used directly by the user.
Related issues
History
#1
Updated by Florian Walsh over 2 years ago
It seems like I need to call MakeUnique(I)->mySaturate(J) to compute the saturation of I wrt. to J.
#2
Updated by John Abbott over 2 years ago
- Category set to New Function
- Target version set to CoCoALib-0.99850
- % Done changed from 0 to 10
To my eye that syntax looks quite ugly.
Why can I not just write saturate(I,J)
?
What does MakeUnique
do? And why do I need it here?
#3
Updated by Anna Maria Bigatti over 2 years ago
- Assignee set to Anna Maria Bigatti
- % Done changed from 10 to 20
In ideal.C we have intersect
and colon
.
We should add saturate
in the same way.
(similarly, we should have a better interface for elim as well)
#4
Updated by John Abbott over 2 years ago
- Related to Design #1326: Modify function myElim so that it returns ideal? (not quite) added
#5
Updated by John Abbott 4 months ago
- Related to Slug #967: Improve saturate added
#6
Updated by John Abbott 4 months ago
- Status changed from New to In Progress
- % Done changed from 20 to 60
I have added saturate
to the relevant header file. And also a test for #1790.
Added some doc. Do we need tests? Can we close?
#7
Updated by John Abbott 4 months ago
- monomial
- principal
- univariate
- general
#8
Updated by Anna Maria Bigatti 3 months ago
John Abbott wrote:
Maybe different types:
- monomial
- principal
- univariate
- general
also homog
#9
Updated by Anna Maria Bigatti 3 months ago
- % Done changed from 60 to 80
added CoCoA-5 test-saturate.cocoa5
#10
Updated by Anna Maria Bigatti 3 months ago
- Related to Support #942: Which names to use? Intersection/saturation vs intersect/saturate added
#11
Updated by Anna Maria Bigatti 3 months ago
- Status changed from In Progress to Closed
- % Done changed from 80 to 100