On Tuesday, May 10, 2016 at 10:48:10 PM UTC+2, mmarco wrote:
>
> Thanks for the answer. So you propose that Expression.polynomial() should 
> return either a polynomial or a laurent polynomial depending on the 
> expression?
>

Depending on expression and ring argument:

sage: R.<x> = QQ[]
sage: S = LaurentPolynomialRing(QQ, 'y')
sage: _ = var('x,y,z')
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
sage: parent((x).polynomial(ring=R))
Univariate Polynomial Ring in x over Rational Field
sage: parent((y).polynomial(ring=R))
TypeError: z is not a variable of...
sage: parent((y).polynomial(ring=S))
Univariate Laurent Polynomial Ring in y over Rational Field
sage: parent((1/y+y).polynomial(ring=S))
Univariate Laurent Polynomial Ring in y over Rational Field

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to