Design #297
Modules design: brainstorming
Description
Currently (25th Jan 2013) we have this inheritance:
module -> FGModule -> submodule -> FreeModule -> QuotientModule
The structure is not yet as rich as for rings/ideals and it is intrinsically more complicated.
This issue is just to collect any idea on modules which should then become properly designed new issues.
Related issues
History
#1 Updated by Anna Maria Bigatti about 11 years ago
I added (in CoCoA-5) the function ModuleOf analogue for RingOf
Does it make sense? for a ModuleElem yes, for a submodule yes, ... but in cocoa-5 we do not (yet) distinguish modules from submodules.... and should we want to?
#2 Updated by Anna Maria Bigatti about 11 years ago
It would make lots of sense a syntax for creating a submodule from a matrix.
I suggest the syntax SubmoduleCols(F,M), SubmoduleRows(F,M) (FreeModule and matrix)
I think it should be available in CoCoALib.
Right now we have NewSubmodule obeying the rule that calling it twice will return two unequal objects (in the sense of M1 != M2), but, as for ideals, we can test equality of submodules of the same free module (at least for modules on polynomials), so: should we allow equality tests? I believe so.
#3 Updated by Anna Maria Bigatti about 11 years ago
I think GensToCols/GensToRows would be quite useful functions, but what would be the actual meaning? It should represents the coordinated wrt a set of generators in the module it is a submodule of: so only for submodules?
or wrt to the free module? (then, what should gens do?)
Mathematically modules a bit too flexible and that makes formalizing a bit too delicate...
#4 Updated by Anna Maria Bigatti almost 11 years ago
- Status changed from New to In Progress
- % Done changed from 0 to 30
#5 Updated by Anna Maria Bigatti over 10 years ago
added IsHomog(M), IsZero(M), LT for M (sub)module.
added test for IsHomog in test-GOperations2
#6 Updated by Anna Maria Bigatti almost 10 years ago
- Target version set to CoCoALib-0.99533 Easter14
#7 Updated by John Abbott almost 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14
#8 Updated by John Abbott over 9 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0
#9 Updated by John Abbott almost 8 years ago
- Related to Design #871: Redesign ideals added