Project

General

Profile

Design #297

Modules design: brainstorming

Added by Anna Maria Bigatti about 11 years ago. Updated over 9 years ago.

Status:
In Progress
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
Start date:
25 Jan 2013
Due date:
% Done:

30%

Estimated time:
Spent time:

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

Related to CoCoA-5 - Feature #200: add modules and module operationsClosed2012-06-29

Related to CoCoALib - Feature #304: Module ordering and grading (and shifts)Closed2013-02-11

Related to CoCoALib - Design #305: FreeModule: unique copy?In Progress2013-02-12

Related to CoCoALib - Bug #335: Equality of (sub)modulesClosed2013-04-08

Related to CoCoALib - Design #703: Add more operations between modules (CoCoALib)New2015-05-15

Related to CoCoALib - Design #871: Redesign idealsNew2016-04-26

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

Also available in: Atom PDF