Feature #813
Implement "elim" in CoCoALib
Description
In CoCoALib we have member function myElim
.
Choose and implement the "proper" function.
Related issues
History
#1
Updated by John Abbott almost 8 years ago
This should be easy once elim orderings are properly implemented, right?
#2
Updated by Anna Maria Bigatti about 7 years ago
- Category set to New Function
- Status changed from New to Closed
- Assignee set to Anna Maria Bigatti
- Target version set to CoCoALib-0.99560
- % Done changed from 0 to 10
- Estimated time set to 3.00 h
There is myElim
. Maybe I meant making a function?
Easy, anyway.
#3
Updated by John Abbott about 7 years ago
I do not understand: "closed" but progress is 10%.
Also your last comment suggests that there is still some design issue to discuss (namely creating a fn elim
)
Puzzled.
#4
Updated by Anna Maria Bigatti about 7 years ago
- Status changed from Closed to In Progress
John Abbott wrote:
I do not understand: "closed" but progress is 10%.
Also your last comment suggests that there is still some design issue to discuss (namely creating a fnelim
)
mistake (at first I misunderstood myself)
#5
Updated by John Abbott over 6 years ago
- Target version changed from CoCoALib-0.99560 to CoCoALib-0.99600
#6
Updated by John Abbott almost 6 years ago
- Target version changed from CoCoALib-0.99600 to CoCoALib-0.99650 November 2019
#7
Updated by John Abbott about 5 years ago
- Priority changed from Normal to Urgent
It would be nice to complete this before the next release! To this end, I have increased the priority...
#8
Updated by John Abbott almost 5 years ago
- Priority changed from Urgent to Immediate
I have increased this to max priority because I believe it is trivial to achieve, and it would be nice to close the issue soon.
#9
Updated by Anna Maria Bigatti over 4 years ago
- Related to Design #1326: Modify function myElim so that it returns ideal? (not quite) added
#10
Updated by Anna Maria Bigatti over 4 years ago
- Target version changed from CoCoALib-0.99650 November 2019 to CoCoALib-0.99700
Choose the syntax first...
#11
Updated by Anna Maria Bigatti over 4 years ago
- Target version changed from CoCoALib-0.99700 to CoCoALib-0.99800
#12
Updated by John Abbott over 2 years ago
- Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850
#13
Updated by John Abbott 5 months ago
The syntax should be compatible with whatever we use for ElimMat
, I presume.
Well, there is an important difference: for ElimMat
we do not yet have the indets, whereas they do exist when we call elim
.
#14
Updated by Anna Maria Bigatti 5 months ago
- Description updated (diff)
#15
Updated by John Abbott 4 months ago
- Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880
#16
Updated by Anna Maria Bigatti 4 months ago
- % Done changed from 10 to 90
See #1326#note-10 for discussion about elim(I,X) vs elim(X,I).
Apart from this, we should only add some tests in CoCoALib.
#17
Updated by Anna Maria Bigatti 4 months ago
- Status changed from In Progress to Feedback
I activated a test (slightly simplified test7 in test-GOperation1.C).