[sage-support] power series bug?

2010-05-18 Thread Matt Bainbridge
Is this a bug? sage: P. = QQ[[]] sage: p = 1+O(t) sage: p(t) 1 sage: p(t^2) 1 My understanding is that p(q) is p composed with q, so the above output should be 1 + O(t) and 1 + O(t^2) respectively. -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this gr

[sage-support] Re: coersion

2010-05-06 Thread Matt Bainbridge
Thanks! This seems to work. --M On May 5, 9:20 pm, Mike Hansen wrote: > On Wed, May 5, 2010 at 2:46 PM, Matt Bainbridge > > wrote: > > Sage knows how to coerce from Frac(ZZ[x]) to Frac(QQ[x]).  There is no > > coercion going the other way, though there should be one, sinc

[sage-support] coersion

2010-05-05 Thread Matt Bainbridge
Hello, I have another quick question regarding coercion: Sage knows how to coerce from Frac(ZZ[x]) to Frac(QQ[x]). There is no coercion going the other way, though there should be one, since these two rings are equivalent. Is there a reasonable way for me to define my own coercion? -- To post

[sage-support] Re: rational function arithmetic

2010-05-05 Thread Matt Bainbridge
Thanks, Mike! This works perfectly. --M On May 5, 11:09 am, Mike Hansen wrote: > Hello, > > On Wed, May 5, 2010 at 5:03 AM, Matt Bainbridge > > wrote: > > I wrote a sage program which does a lot of arithmetic in the field of > > rational functions Frac(Q[x,y,z])

[sage-support] rational function arithmetic

2010-05-05 Thread Matt Bainbridge
Hi there, I wrote a sage program which does a lot of arithmetic in the field of rational functions Frac(Q[x,y,z]). The problem is that sage doesn't check for common divisors of the numerator and denominator, so after doing a lot of arithmetic operations, I end up with rational functions whose num

[sage-support] Re: power series composition inverse

2009-12-09 Thread Matt Bainbridge
Its easy enough to code this in sage. This seems to work over any field: def ps_inverse(f): if f.prec() is infinity: raise ValueError, "series must have finite precision for reversion" if f.valuation() != 1: raise ValueError, "series must have valuation one for reversion"

[sage-support] Re: power series composition inverse

2009-12-07 Thread Matt Bainbridge
Thanks, William! I guess so far it only works over Q? --Matt On Dec 7, 7:43 pm, William Stein wrote: > 2009/12/7 Matt Bainbridge : > > > Hi there, > > > Does anyone know if Sage has a function for computing the composition > > inverse of a power series (not the re

[sage-support] power series composition inverse

2009-12-07 Thread Matt Bainbridge
Hi there, Does anyone know if Sage has a function for computing the composition inverse of a power series (not the reciprocal)? --Matt P.S. Just started using sage and finding it very useful. Thanks for developing it. -- To post to this group, send email to sage-support@googlegroups.com To un