Project

General

Profile

Bug #1560

elim for modules

Added by John Abbott over 3 years ago. Updated about 2 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
enhancing/improving
Target version:
CoCoA-5.4.2
Start date:
11 Jan 2021
Due date:
% Done:

0%

Estimated time:
Spent time:
0.20 h

Description

Bernhard Andraschko reported the following NYI:

use R;
R2 := NewFreeModule(R,2);
N := submodule(R2,[ModuleElem(R2,[x,0]),ModuleElem(R2,[y,0])]);
elim(y,N); --> gives ERROR "expected IDEAL"

Make it work for modules.

Related issues

Related to CoCoALib - Support #1561: Doc for module term orderingsNew2021-01-11

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 3 years ago

Not sure how hard this might be. Does it suffice to create a poly ring with elim order, and then compute the GB for the module and pick out just those module elems with "small" LT?
Presumably the module order needs to be ToPos?

#2 Updated by John Abbott over 3 years ago

#3 Updated by John Abbott about 2 years ago

  • Target version changed from CoCoA-5.4.0 to CoCoA-5.4.2

#4 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