Project

General

Profile

Feature #331

Is it possible to have R^3 for NewFreeModule(R,3)?

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

Status:
Rejected
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
CoCoA-5 function: new
Target version:
CoCoA-5.0.9
Start date:
15 Mar 2013
Due date:
% Done:

100%

Estimated time:
Spent time:
1.75 h

Related issues

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

History

#1 Updated by Anna Maria Bigatti over 11 years ago

  • Status changed from New to Rejected
  • % Done changed from 0 to 100

The answer is yes.
I implemented all the code (in Interpreter.C: opPower_Ring_BigInt and opPowerMap), but the problem is that it makes it too easy to create new free modules, which will be all different!
So I commented the code and R^3 is not available.

#2 Updated by John Abbott over 11 years ago

The ring R could keep a list of freemodules based on itself, and R^3 then only needs to check whether it has already been created... This might be "awkward" for multithreaded applications which "create" repeatedly the same free module, otherwise I do not see any major problems.

Also available in: Atom PDF