Design #483
Unique copies of rings in CoCoA-5
Description
If a user creates the same ring twice, should he get the exact same ring?
Use QQ[x]; f := x; Use QQ[x]; g := x; f+g; --> should this work?
Currently, CoCoA-5 creates two distinct but "identical" rings, so
f+g
produces a MixedRings
error. This is quite close to a nasty surprise.
Related issues
History
#1 Updated by John Abbott about 10 years ago
Conceptually this issue seems practically identical to #482.
Yet, I think they are slightly independent: if CoCoALib makes unique copies of rings then CoCoA-5 pretty much has no choice, but CoCoA-5 could make unique copies even if CoCoALib does not: e.g. CoCoA-5 maintains a global registry of rings, but CoCoALib does not.
To facilitate the porting of CoCoA-5 code into CoCoALib it is probably best that two adopt the same policy.
#2 Updated by Anna Maria Bigatti almost 10 years ago
- Target version set to CoCoA-5.1.0 Easter14
#3 Updated by John Abbott almost 10 years ago
- Target version changed from CoCoA-5.1.0 Easter14 to CoCoA-5.?.?