Project

General

Profile

Bug #880

subst should check that indet is in same ring as 1st arg, but does not.

Added by John Abbott almost 8 years ago. Updated about 7 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Incomplete function
Target version:
CoCoA-5.2.0 spring 2017
Start date:
09 May 2016
Due date:
% Done:

100%

Estimated time:
1.00 h
Spent time:
0.75 h

Description

subst should check that indet is in same ring as 1st arg, but does not.

Here is an example:

P1 ::= QQ[x,y];
P2 ::= QQ[y,x];

use P1;
f := x+2*y;

subst(f, RingElem(P2, "x"), 1); -- > gives x+2

Related issues

Related to CoCoA-5 - Support #879: LOGAR: make CoCoA-5 easier to useNew2016-05-09

History

#1 Updated by John Abbott almost 8 years ago

  • Related to Support #879: LOGAR: make CoCoA-5 easier to use added

#2 Updated by Anna Maria Bigatti over 7 years ago

  • Assignee set to Anna Maria Bigatti
  • % Done changed from 0 to 80
  • Estimated time set to 1.00 h

Done. cvs-ed.

#3 Updated by Anna Maria Bigatti over 7 years ago

  • Status changed from New to Feedback

#4 Updated by Anna Maria Bigatti about 7 years ago

  • Status changed from Feedback to Closed
  • % Done changed from 80 to 100

Also available in: Atom PDF