Bug #422
Bug or feature for protected name? (Use command)
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 over 10 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 over 10 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 about 10 years ago
- Target version set to CoCoA-5.1.0 Easter14
#4 Updated by John Abbott about 10 years ago
- Target version changed from CoCoA-5.1.0 Easter14 to CoCoA-5.?.?