Quotient of ideals in powerseries ring

asked 2011-09-20 04:17:26 +0200

updated 2011-09-20 07:56:05 +0200

Is it possible to take quotient (colon) of two ideals in a multivariable powerseries ring over a field?

e.g. the following code gives me error(s):

sage: R.<x,y,z> = PolynomialRing(QQ,3)
sage: I = Ideal([x^2+x*y*z,y^2-z^3*y,z^3+y^5*x*z])
sage: J = Ideal([x])
sage: Q = I.quotient(J)

Thanks and regards

--VInay

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2011-09-20 08:58:08 +0200

niles
4519 ●23 ●72 ●132 http://nilesjohnson.net/

The code you posted gives me no errors (in version 4.7.1). Did you mean to make R a power series ring? If you did, that would certainly give you errors as ideal quotients have not been implemented for power series rings.

edit flag offensive delete link

Comments

I precisely mean to take R as a Power Series Ring. Is it that the same algorithm (as that for Polynomials) does not work for Power Series? In that case where is the problem?

-- VInay

VInay Wagh ( 2011-09-21 02:38:17 +0200 )edit

The problem is that no one has implemented the algorithm! If you're interested, you should do it :)

niles ( 2011-09-23 08:25:01 +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.

Add Answer

Question Tools

Stats

Asked: 2011-09-20 04:17:26 +0200

Seen: 396 times

Last updated: Sep 21 '11

Quotient of ideals in powerseries ring edit