Project

General

Profile

Feature #1619

Make saturate available in CoCoALib

Added by Florian Walsh over 2 years ago. Updated about 1 month ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
New Function
Target version:
CoCoALib-0.99850
Start date:
15 Oct 2021
Due date:
% Done:

100%

Estimated time:
Spent time:
1.40 h

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

Related to CoCoALib - Design #1326: Modify function myElim so that it returns ideal? (not quite)Closed2019-10-03

Related to CoCoALib - Slug #967: Improve saturateResolved2016-11-10

Related to CoCoALib - Support #942: Which names to use? Intersection/saturation vs intersect/saturateIn Progress2016-10-10

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 about 1 month ago

  • Related to Slug #967: Improve saturate added

#6 Updated by John Abbott about 1 month 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 about 1 month ago

Maybe different types:
  • monomial
  • principal
  • univariate
  • general

#8 Updated by Anna Maria Bigatti about 1 month ago

John Abbott wrote:

Maybe different types:
  • monomial
  • principal
  • univariate
  • general

also homog

#9 Updated by Anna Maria Bigatti about 1 month ago

  • % Done changed from 60 to 80

added CoCoA-5 test-saturate.cocoa5

#10 Updated by Anna Maria Bigatti about 1 month ago

  • Related to Support #942: Which names to use? Intersection/saturation vs intersect/saturate added

#11 Updated by Anna Maria Bigatti about 1 month ago

  • Status changed from In Progress to Closed
  • % Done changed from 80 to 100

Also available in: Atom PDF