Bug #880
subst should check that indet is in same ring as 1st arg, but does not.
Status:
Closed
Priority:
Normal
Assignee:
Category:
Incomplete function
Target version:
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
History
#1 Updated by John Abbott about 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 over 7 years ago
- Status changed from Feedback to Closed
- % Done changed from 80 to 100