Re: [sage-devel] Re: How to implement conversion between LaurentPolynomial and Symbolic rings?

2016-05-12 Thread mmarco
> > > var('x') > R=LaurentPolynomialRing(QQ,'x') > R(1+1/x) > > That is the interface that makes sense to me. That is, enable conversion. So, would it make sense to enable it by a `convert_method_name` ? -- You received this message because you are subscribed to the Google Groups

Re: [sage-devel] Re: How to implement conversion between LaurentPolynomial and Symbolic rings?

2016-05-12 Thread Nils Bruin
On Thursday, May 12, 2016 at 4:56:54 AM UTC-7, Ralf Stephan wrote: > > On Thu, May 12, 2016 at 10:48 AM mmarco > wrote: > >> But even if we implement expression.laurent_polynomial(), it wouldn't >> automatically allow conversion from SR to LaurentPolynomialRing, would it? >>

Re: [sage-devel] Re: How to implement conversion between LaurentPolynomial and Symbolic rings?

2016-05-12 Thread Ralf Stephan
On Thu, May 12, 2016 at 10:48 AM mmarco wrote: > But even if we implement expression.laurent_polynomial(), it wouldn't > automatically allow conversion from SR to LaurentPolynomialRing, would it? > Right, it's conversion on demand. -- You received this message because you

Re: [sage-devel] Re: How to implement conversion between LaurentPolynomial and Symbolic rings?

2016-05-12 Thread mmarco
But even if we implement expression.laurent_polynomial(), it wouldn't automatically allow conversion from SR to LaurentPolynomialRing, would it? We would need to populate the conversion list somehow. El jueves, 12 de mayo de 2016, 5:33:50 (UTC+2), Ralf Stephan escribió: > > Then making it

Re: [sage-devel] Re: How to implement conversion between LaurentPolynomial and Symbolic rings?

2016-05-11 Thread Ralf Stephan
Then making it Expression.laurent_polynomial() but allowing polynomial with ring=LaurentPolyRing as argument seems to be the best interface. On Wed, May 11, 2016, 22:26 Nils Bruin wrote: > On Tuesday, May 10, 2016 at 10:55:20 PM UTC-7, Ralf Stephan wrote: >> >> On Tuesday, May

Re: [sage-devel] Re: How to implement conversion between LaurentPolynomial and Symbolic rings?

2016-05-11 Thread Ralf Stephan
On Wednesday, May 11, 2016 at 2:21:45 PM UTC+2, vdelecroix wrote: > On 11/05/16 00:55, Ralf Stephan wrote: > > sage: parent((z).polynomial(QQ)) > > Univariate Polynomial Ring in z over Rational Field > > sage: parent((1/z+z).polynomial(QQ)) > > Univariate Laurent Polynomial Ring in z over Rational

Re: [sage-devel] Re: How to implement conversion between LaurentPolynomial and Symbolic rings?

2016-05-11 Thread Vincent Delecroix
On 11/05/16 00:55, Ralf Stephan wrote: sage: parent((z).polynomial(QQ)) Univariate Polynomial Ring in z over Rational Field sage: parent((1/z+z).polynomial(QQ)) Univariate Laurent Polynomial Ring in z over Rational Field This behavior would not fit well with sage: R. = PolynomialRing(QQ)