Project

General

Profile

Bug #422

Bug or feature for protected name? (Use command)

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

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

0%

Estimated time:
Spent time:

Description

From email of 2010-11-19

Is this the behaviour we want?

 Use A ::= QQ[P,Q,R];
 Use R ::= QQ[x,y];   -->  Gives error because R is protected.

JAA thinks this is a bug, but it is probably not very serious (how often would one use the same name for an indet in once ring, and then for the next ring?)

It is easy to work around: just execute Use QQ; in between!

History

#1 Updated by John Abbott about 4 years ago

There was an email discussion 2010-11-22 & 2010-11-23.

Perhaps add a summary here??

It is peculiar that

Use A ::= QQ[P,Q,R];
Use R ::= QQ[x,y];   -->  Gives error because R is protected.

but we get no error if we do
Use A ::= QQ[P,Q,R];
Use QQ;
Use R ::= QQ[x,y];   -->  No error!

Note that the Use command appears not to respect protection on variables (in that the protected variables corresponding to symbols of the ring can change value)

#2 Updated by John Abbott about 4 years ago

  • Subject changed from Bug or feature for protected name? to Bug or feature for protected name? (Use command)

Damn!!! Emacs is failing to read my entire archive of emails about CoCoALib/CoCoA-5

#3 Updated by Anna Maria Bigatti almost 4 years ago

  • Target version set to CoCoA-5.1.0 Easter14

#4 Updated by John Abbott almost 4 years ago

  • Target version changed from CoCoA-5.1.0 Easter14 to CoCoA-5.?.?

Also available in: Atom PDF