define the class MPolynomial at the top-level

[zimmermann6]

for univariate polynomials we have the class Polynomial:

sage: R.<x> = QQ[]
sage: isinstance(x+1, Polynomial)
True

However for multivariate polynomials we have to write:

sage: R.<x,y> = QQ[]
sage: isinstance(x+y, sage.rings.polynomial.multi_polynomial.MPolynomial)
True

I suggest MPolynomial is defined as an alias for
sage.rings.polynomial.multi_polynomial.MPolynomial so that we can simply write:

sage: R.<x,y> = QQ[]
sage: isinstance(x+y, MPolynomial)
True

CC: @mezzarobba

Component: commutative algebra

Issue created by migration from https://trac.sagemath.org/ticket/11764

[malb]

comment:1

I think this needs to be discussed on [sage-devel]. Many people are pushing for less stuff in the global namespace so we cannot just add stuff without asking first.

[zimmermann6]

comment:2

Replying to @malb:

I think this needs to be discussed on [sage-devel]. Many people are pushing for less stuff in the global namespace so we cannot just add stuff without asking first.

Martin, feel free to forward to sage-devel, since I am not subscribed.

On the other hand for coherence one could replace Polynomial
by sage.rings.polynomial.polynomial_ring.Polynomial.

Paul

[malb]

comment:3

Here's the thread: http://groups.google.com/group/sage-devel/browse_thread/thread/5c146a6dfd89c604