Feature #150
RingOf rather than owner? (and than AmbientRing, ...)
Description
In CoCoA-5 to get the ring to which a RingElem belongs we use the fn RingOf
.
Currently in CoCoALib the analogous fn is called owner
.
Should we replace owner
by RingOf
?
Such a change would improve compatibility between CoCoA-5 and CoCoALib.
Also RingOf
is probably a nicer, more mathematical name; while owner
is more of a "programming" name.
2014-07 JAA renamed AmbientRing/BaseRing into RingOf
for matrices, modules and ideals.
Related issues
History
#1 Updated by John Abbott about 12 years ago
RingOf
can be applied to: ideal, RingElem, matrix, HomogList.
#2 Updated by Anna Maria Bigatti over 11 years ago
- Category set to Renaming
- Status changed from New to In Progress
- Target version set to CoCoALib-0.9953
There are other cases: now I'm working on a (private) file with GBEnv and the function to get it form an object is GetGBEnv: I think that GBEnvOf would be nicer.
Similarly there would be PPMOf (a bit less readable, unfortunately), DivMaskRuleOf, ...
i.e.: all those cases where we want to get the stucture from an object (and we cannot use the structure name because that is a constructor!)
Maybe it can be applied to all those cases where we want to get a field from an object (and we cannot use the field class name because that is a constructor!)
#3 Updated by John Abbott about 11 years ago
This is neither urgent nor necessary for CoCoA School, so I'm postponing it.
#4 Updated by John Abbott about 11 years ago
- Target version changed from CoCoALib-0.9953 to CoCoALib-0.99534 Seoul14
#5 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-0.99532
#6 Updated by John Abbott over 10 years ago
POSSIBLE DISADVANTAGE Using names such as RingOf
, PPMOf
(rather than having a single name) could make template code problematic -- see ourConsistencyCheck
in factorization.H
.
20140714 there is a contrast between what is most readable (e.g. RingOf
) and what is most flexible with template code (e.g. owner
)
#7 Updated by Anna Maria Bigatti over 10 years ago
- Target version changed from CoCoALib-0.99532 to CoCoALib-0.99533 Easter14
#8 Updated by John Abbott about 10 years ago
- Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-1.0
#9 Updated by John Abbott almost 10 years ago
- % Done changed from 0 to 10
I note that I have just(20140730) checked in an update which introduces RingOf
for matrices, modules and ideals.
#10 Updated by Anna Maria Bigatti almost 10 years ago
- Subject changed from RingOf rather than owner? to RingOf rather than owner? (and than AmbientRing, ...)