Design #305
FreeModule: unique copy?
Description
While writing this I gave myself the answer "probably NO", this is the reason:
- general case: just one constructor "NewFreeModule(R, n)", here it seems to make sense.
- special case (but the most important for CoCoA): we can have different shifts and module orderings (TOPos, PosTO, and more)
I wrote this just to remember and collect comments.
Related issues
History
#1 Updated by Anna Maria Bigatti over 11 years ago
Big problem: operator==
for ring equality is strict (only if pointers are equal)
for ideal equality is "mathematical" (I subset of J and viceversa)
What about module?
a FreeModule behaves like a ring
a submodule behaves like an ideal
How to distiguish clearly between these meanings of equality?
#2 Updated by Anna Maria Bigatti over 11 years ago
should we allow submodules only for FreeModules?
#3 Updated by Anna Maria Bigatti over 11 years ago
- Category set to Tidying
- Target version set to CoCoALib-0.9953
#4 Updated by Anna Maria Bigatti about 11 years ago
- Status changed from New to In Progress
- % Done changed from 0 to 10
#5 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.9953 to CoCoALib-0.99532
#6 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14
#7 Updated by John Abbott about 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14
#8 Updated by Anna Maria Bigatti almost 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0
#9 Updated by John Abbott 7 months ago
ANNA What is the status of this?
Feasible to complete before 0.99850?