Project

General

Profile

Design #1767

Finalize design for ideals in CoCoALib

Added by Anna Maria Bigatti 6 months ago. Updated about 2 months ago.

Status:
In Progress
Priority:
Normal
Assignee:
-
Category:
Data Structures
Target version:
CoCoALib-0.99900
Start date:
31 Oct 2023
Due date:
% Done:

10%

Estimated time:
Spent time:
0.20 h

Description

Some functions for ideals are internally implemented changing the given ideal and returning void: myAdd, myMul, myElim, ...

For these functions I think we should instead have 2 arguments and return an ideal.
I cannot imagine (but I might be wrong) a case in which we actually want to modify the ideal and destroy the original.

Related issues

Related to CoCoALib - Design #871: Redesign idealsNew2016-04-26

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

History

#1 Updated by Anna Maria Bigatti 6 months ago

#2 Updated by John Abbott 4 months ago

Also for exception cleanliness, an operation such as I += J would almost certainly have to compute a temporary ideal containing I+J, and then if that succeeds, swap it into the correct place. This means that there no benefit in offering a low-level implementation for +=.

Can we change the implementation quickly & easily?

#3 Updated by John Abbott 3 months ago

  • Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850

#4 Updated by John Abbott about 2 months ago

  • Target version changed from CoCoALib-0.99850 to CoCoALib-0.99900

#5 Updated by Anna Maria Bigatti about 1 month ago

  • Related to Design #1326: Modify function myElim so that it returns ideal? (not quite) added

Also available in: Atom PDF