Symbolic expression from a polynomial in a quotient ring

asked 2014-12-16 20:58:43 +0200

vuur
11 ●2 ●2 ●6

sage: R.<t> = PolynomialRing(ZZ)
sage: I = R.ideal([t^2-2])
sage: S.<z> = R.quotient_ring(I)
sage: eq_z = (z+1)^2-5; eq_z
2*z - 2
sage: SR(eq_z.lift()).variables()
(t,)
sage: SR(eq_z).variables()
()

I'd expect the last tuple to contain the variable z, what am I missing?

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2014-12-16 22:53:27 +0200

slelievre
17654 ●22 ●160 ●348 http://carva.org/samue...

Apparently the symbolic ring considers that SR(eq_z) is a constant.

Compare:

sage: p = (5*x^2-7*x+4)
sage: p.coefficients()
[[4, 0], [-7, 1], [5, 2]]

and

sage: R.<t> = PolynomialRing(ZZ)
sage: I = R.ideal([t^2-2])
sage: S.<z> = R.quotient_ring(I)
sage: eq_z = (z+1)^2-5; eq_z
2*z - 2
sage: a = SR(eq_z); a
2*z - 2
sage: a.coefficients()
[[2*z - 2, 0]]

So it's the constant 2*z-2 times x^0.

edit flag offensive delete link

add a comment

Your Answer

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

Add Answer

Question Tools

Stats

Asked: 2014-12-16 20:58:43 +0200

Seen: 447 times

Last updated: Dec 16 '14

Symbolic expression from a polynomial in a quotient ring edit

1 Answer