Project

General

Profile

Design #305

FreeModule: unique copy?

Added by Anna Maria Bigatti about 11 years ago. Updated 4 months ago.

Status:
In Progress
Priority:
Normal
Assignee:
-
Category:
Tidying
Target version:
Start date:
12 Feb 2013
Due date:
% Done:

10%

Estimated time:
Spent time:

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

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

Related to CoCoALib - Design #297: Modules design: brainstormingIn Progress2013-01-25

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

Related to CoCoA-5 - Feature #331: Is it possible to have R^3 for NewFreeModule(R,3)?Rejected2013-03-15

History

#1 Updated by Anna Maria Bigatti about 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 about 11 years ago

should we allow submodules only for FreeModules?

#3 Updated by Anna Maria Bigatti about 11 years ago

  • Category set to Tidying
  • Target version set to CoCoALib-0.9953

#4 Updated by Anna Maria Bigatti almost 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 almost 10 years ago

  • Target version changed from CoCoALib-0.99532 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 Anna Maria Bigatti over 9 years ago

  • Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0

#9 Updated by John Abbott 4 months ago

ANNA What is the status of this?
Feasible to complete before 0.99850?

Also available in: Atom PDF