Feature #1806
New function ModuleElems? (like RingElems(RING, STRING))
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.