Lifting polynomials

asked 2013-10-05 08:14:18 +0200

ogward
3 ●1 ●1 ●2

Hello!

I have this polynomial 'fp' that I'd lite to lift to ZZ. How do I go about doing something like this in Sage online?

Univariate Quotient Polynomial Ring in y over Ring of integers modulo 127 with modulus Y^23 + 126     
fp=y^21 + 126*y^19 + y^17 + 126*y^16 + y^15 + y^14 + y^13 + y^12 + y^9 + 126*y^8 + 126*y^5 + 126*y^4 + 126*y^2 + 126*y +  1

Univariate Polynomial Ring in X over Integer Ring
Q.<X> = PolynomialRing(ZZ)

Best regards!

answered 2013-10-05 09:20:16 +0200

Luca
870 ●5 ●21

updated 2013-10-05 11:24:34 +0200

It's a two-step process. First you need to lift in $\mathbb{Z}/27\mathbb{Z}[y]$, then lift the coefficients in $\mathbb{Z}$:

fp.lift().change_ring(ZZ)

Or, if you want the result to live in your polynomial ring Q of variable X

Q(fp.lift())

edit flag offensive delete link

Comments

are you positive about this? I'm a bit confused as my Polynomial ring Q is defined by the variable 'X'(as shown above) and the variable in fp is 'y'. should't the answer be a polynomial with 'X'? my answer is show in his ring Qp.<y> = PolynomialRing(Zmod(p)).

ogward ( 2013-10-05 09:56:19 +0200 )edit

Edited my answer. Is this closer to what you were looking for?

Luca ( 2013-10-05 11:24:58 +0200 )edit

that's exactly it! thanks a lot!

ogward ( 2013-10-05 12:19:21 +0200 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Lifting polynomials

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Lifting polynomials edit

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Lifting polynomials