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
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.
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
The problem is that no one has implemented the algorithm! If you're interested, you should do it :)
Asked: 13 years ago
Seen: 483 times
Last updated: Sep 21 '11
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
