Project

General

Profile

Feature #420

Allow user to give a name to a ring

Added by John Abbott over 10 years ago. Updated almost 9 years ago.

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

0%

Estimated time:
Spent time:
0.25 h

Description

In C4 rings had names (single upper case letter, or of the form R#n for integer n)

In C5 they do not have names, and the printed form is ugly/incomprehensible.

Allow the user to specify a convenient (print) name.

What to do about name clashes?

[isn't this already an issue?? JAA cannot find it]

Related issues

Related to CoCoA-5 - Feature #421: Allow user to give a name to a ring (in C5)New2014-01-07

Related to CoCoA-5 - Support #548: Printing rings with IDClosed2014-05-06

History

#1 Updated by John Abbott over 10 years ago

From emails exchanged on 2010-11-05...

Anna notes that short printed names are helpful when printing out resolutions.

JAA suggested always using the name R and then adding a line where R=...
Anna was not convinced, saying it could be confusing especially when computing
resolutions with ambient rings R and S -- she has a point!

The impl should allow behaviour like this:

F7 ::= ZZ/(7);
P1 ::= F7[x];
PrintLn P1;
F7[x]
P2 ::= P1[y];
PrintLn P2;
F7[x][y]

#2 Updated by Anna Maria Bigatti about 10 years ago

  • Target version set to CoCoALib-0.99533 Easter14

#3 Updated by John Abbott about 10 years ago

  • Target version changed from CoCoALib-0.99533 Easter14 to CoCoALib-0.99534 Seoul14

#4 Updated by John Abbott almost 10 years ago

  • Target version changed from CoCoALib-0.99534 Seoul14 to CoCoALib-1.0

#5 Updated by Redmine Admin almost 9 years ago

  • Category set to Improving

Also available in: Atom PDF