I don't understand this:
R.<T,U>=PolynomialRing(QQ)
Q=R.quo((T^2))
pi=Q.cover()
pi(T)
-- returns Tbar
However:
R.<T>=PolynomialRing(QQ)
Q=R.quo((T^2))
pi=Q.cover()
pi(T)
-- returns an error.
In the first case, your R is of type
sage: type(R)
<type 'sage.rings.polynomial.multi_polynomial_libsingular.MPolynomialRing_libsingular'>
In the second case,
sage: type(R)
<class 'sage.rings.polynomial.polynomial_ring.PolynomialRing_field_with_category'>
Unfortunately, those univariate polynomial rings do not offer the .cover() method.
I agree that univariate polynomials should inherit from features of multivariate polynomials, but this is currently not the case.
Here is a tricky workaround: define your univariate polynomial ring as a multivariate polynomial ring with one variable !
sage: R.<T>=PolynomialRing(QQ, 1) ; R
Multivariate Polynomial Ring in T over Rational Field
sage: Q=R.quo((T^2))
sage: pi=Q.cover()
sage: pi(T)
Tbar
I guess when I wrote that I didn't understand it, I really meant: how can it be acceptable that a polynomial ring in one variable is not an instance of a polynomial ring in n variables?
Asked: 2014-01-18 08:49:36 +0200
Seen: 233 times
Last updated: Jan 18 '14
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
