Allow user to give a name to a ring (in C5)
In C4 the command
R ::= QQ[x,y]; automatically gave the name
R to the created ring.
There was a trick to cater for several successive rings each called
R, namely the name changed to
R#2 and so on.
Users should be allowed to specify (convenient) names for rings they create.
It does seem difficult to emulate the behaviour of C4, and I'm not sure we should even try to do so.
Perhaps there should be a new syntax? for instance
R :::= QQ[x,y];
Or maybe simply
R ::= QQ[x,y],printname="blah";
#1 Updated by Anna Maria Bigatti over 4 years ago
- % Done changed from 0 to 10
I remember an old discussion about this topic.
There is this problem (which was not possibible in CoCoA-4)
R ::= Q[x,y]; Use R; -- ....... here we expect the ring to be called "R" S := R; Use S; -- ....... here we expect the ring to be called "S"
The syntax "R ::= Q[x,y];" gives the name "R" to the ring
(first of all we need to set a syntax to allow this in CoCoALib)
The syntax "S := R;" inherits the name "R".
I believe somehow CoCoA-5 knows the name after "R ::= Q[x,y];" (I think I remember Giovanni Lagorio telling me it was tricky to set in the interpreter, not being a part of the CoCoALib object), but I cannot find how to print it.