Design #646
Unique copies of free modules?
Description
A recent bug report from Oneto suggests that it is surprising/unnatural that NewFreeModule
should create distinct (canonically isomorphic) free modules; she expected the two modules to be identical.
Discuss having unique free modules.
Related issues
History
#1 Updated by John Abbott over 9 years ago
I propose putting all the technical discussion in #647, a parallel issue to this one (since practically all the real implementation will be in CoCoALib).
This issue is useful for any discussions about "interface" in CoCoA-5.