Project

General

Profile

Feature #657

use command, ring syntax, RingOf

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

Status:
New
Priority:
Low
Assignee:
-
Category:
enhancing/improving
Target version:
CoCoA-5.?.?
Start date:
20 Jan 2015
Due date:
% Done:

0%

Estimated time:
Spent time:
0.30 h

Description

Is it desirable to be able to issue a command such as this?
use RingOf(M);

Note that this has potential implications for ring syntax (compare with use QQ(x) which is not currently allowed).

Related issues

Related to CoCoA-5 - Feature #1003: New syntax for creating poly rings?In Progress2017-01-27

Related to CoCoA-5 - Feature #1503: More flexible ring creation syntax (after use or ::=)New2020-10-08

Related to CoCoA-5 - Support #916: use command: unhelpful error if you use := instead of ::=New2016-08-25

Related to CoCoA-5 - Feature #375: allow single function call in "use" : e.g. "Use NewFractionField(R);"New2013-06-18

History

#1 Updated by John Abbott over 9 years ago

I did indeed try to execute that command (without really thinking). It would have been handy if it had worked, but it didn't. Of course, it is easy enough to run

P := RingOf(M);
use P;

Still, being able to do use RingOf(M); would be quite natural.

#2 Updated by John Abbott over 3 years ago

  • Related to Feature #1003: New syntax for creating poly rings? added

#3 Updated by John Abbott over 3 years ago

  • Related to Feature #1503: More flexible ring creation syntax (after use or ::=) added

#4 Updated by John Abbott over 3 years ago

  • Related to Support #916: use command: unhelpful error if you use := instead of ::= added

#5 Updated by John Abbott over 3 years ago

  • Related to Feature #375: allow single function call in "use" : e.g. "Use NewFractionField(R);" added

Also available in: Atom PDF