Project

General

Profile

Feature #1806

New function ModuleElems? (like RingElems(RING, STRING))

Added by Anna Maria Bigatti about 1 month ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
CoCoA-5 function: new
Target version:
Start date:
26 Mar 2024
Due date:
% Done:

0%

Estimated time:

Description

The best shortcut to make a submodule is via SumboduleCols/Rows.

As pointed out in #1072-#1, even for one generator we need the list:

use P ::= QQ[x,y,z];
M3 := NewFreeModule(P,3);
v := ModuleElem(M3, [0,z,-y]);
submodule(M3, [v]);

I don't think it worth implementing the 1-2-3 generator shortcuts as for ideal, but maybe a syntax to read from a string could be handy.

Also available in: Atom PDF