Project

General

Profile

Feature #421

Allow user to give a name to a ring (in C5)

Added by John Abbott over 4 years ago. Updated about 4 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
07 Jan 2014
Due date:
% Done:

10%

Estimated time:
Spent time:

Description

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#1, 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";


Related issues

Related to CoCoALib - Feature #420: Allow user to give a name to a ringNew2014-01-07

History

#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" 

Proposed solution:
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.

#2 Updated by Anna Maria Bigatti over 4 years ago

  • Target version set to CoCoA-5.1.0 Easter14

#3 Updated by John Abbott over 4 years ago

  • Target version changed from CoCoA-5.1.0 Easter14 to CoCoA-5.1.1 Seoul14

#4 Updated by Anna Maria Bigatti about 4 years ago

  • Target version changed from CoCoA-5.1.1 Seoul14 to CoCoA-5.?.?

Also available in: Atom PDF