homogenize does different things in different contexts

[ncalexan]

Here are some examples:

sage: x = Zmod(3)['x'].gen(); x.homogenize('y')
---------------------------------------------------------------------------
<type 'exceptions.AttributeError'>        Traceback (most recent call last)

/Users/ncalexan/<ipython console> in <module>()

<type 'exceptions.AttributeError'>: 'sage.rings.polynomial.polynomial_modn_dense_ntl.Po' object has no attribute 'homogenize'
sage: x, y = Zmod(3)['x', 'y'].gens(); (x + x^2).homogenize(y)
x^2 + x*y
sage: x, y = Zmod(3)['x', 'y'].gens(); (x + x^2).homogenize(y).parent()
Multivariate Polynomial Ring in x, y, y over Ring of integers modulo 3
sage: x, y = GF(3)['x', 'y'].gens(); (x + x^2).homogenize(y)
x^2 + x*y
sage: x, y = GF(3)['x', 'y'].gens(); (x + x^2).homogenize(y).parent()
Multivariate Polynomial Ring in x, y over Finite Field of size 3

CC: @ncalexan

Component: commutative algebra

Keywords: polynomial multi multivariate homogenize

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

[malb]

Attachment: trac_2349.patch.gz

[malb]

comment:1

The attached patch unifies homogenize for the multivariate polynomials, but not the univariate yet.

[ncalexan]

comment:2

This patch fixes the code I was writing :) It only applies to the multivariate case, see ticket #2352 for the univariate case.

Doctests are good. I say apply.

[sagetrac-mabshoff]

comment:3

Merged in Sage 2.10.3.rc1