Re: [sage-devel] How to correct this bug in power series substitution?

2012-07-10 Thread Julien Puydt
Le 10/07/2012 21:58, William Stein a écrit : On Tue, Jul 10, 2012 at 11:01 AM, Martin Raum wrote: Hallo all! I have found the following bug which mostly occurs when substituting power series over inexact rings. E.g. R. = CC[[]] x.subs(x = x**2) gives x. Same for the base field Qp(7). Qui

Re: [sage-devel] How to correct this bug in power series substitution?

2012-07-10 Thread William Stein
On Tue, Jul 10, 2012 at 11:01 AM, Martin Raum wrote: > Hallo all! > > I have found the following bug which mostly occurs when substituting power > series over inexact rings. E.g. > > R. = CC[[]] > x.subs(x = x**2) > > gives x. Same for the base field Qp(7). Quick remark. It is far, far better to

Re: [sage-devel] How to correct this bug in power series substitution?

2012-07-10 Thread David Roe
> The reason is that the generic method subs iterates the generators of R > (in this case x) and checks whether any keyword matches the string > representation of that generator. But > > x._repr_() > > does not give 'x', but 0.0... + 1.0... x. > > There are two obvious ways to fix this: Change _rep

[sage-devel] How to correct this bug in power series substitution?

2012-07-10 Thread Martin Raum
Hallo all! I have found the following bug which mostly occurs when substituting power series over inexact rings. E.g. R. = CC[[]] x.subs(x = x**2) gives x*. *Same for the base field Qp(7). The reason is that the generic method subs iterates the generators of R (in this case x) and checks whet