Project

General

Profile

Feature #813

Implement "elim" in CoCoALib

Added by Anna Maria Bigatti over 8 years ago. Updated about 1 month ago.

Status:
Feedback
Priority:
Immediate
Assignee:
Anna Maria Bigatti
Category:
New Function
Target version:
CoCoALib-0.99880
Start date:
23 Nov 2015
Due date:
% Done:

90%

Estimated time:
3.00 h
Spent time:
1.30 h

Description

In CoCoALib we have member function myElim.
Choose and implement the "proper" function.

Related issues

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

History

#1 Updated by John Abbott over 7 years ago

This should be easy once elim orderings are properly implemented, right?

#2 Updated by Anna Maria Bigatti almost 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 almost 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 almost 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 fn elim)

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 over 5 years ago

  • Target version changed from CoCoALib-0.99600 to CoCoALib-0.99650 November 2019

#7 Updated by John Abbott almost 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 over 4 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 about 4 years ago

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

#12 Updated by John Abbott about 2 years ago

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

#13 Updated by John Abbott 2 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 2 months ago

  • Description updated (diff)

#15 Updated by John Abbott about 1 month ago

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

#16 Updated by Anna Maria Bigatti about 1 month 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 about 1 month ago

  • Status changed from In Progress to Feedback

I activated a test (slightly simplified test7 in test-GOperation1.C).

Also available in: Atom PDF