On Tuesday 21 July 2009, Marshall Hampton wrote:
I would recommend looking at how Mathematica handles this sort of
thing. One of the things I miss is its ability to selectively treat
different variables as either part of a coefficient ring or as
multivariate polynomials. For example:
I guess I was trying to say that it would be nice if that could be
done more easily, like if one could do
sage: var('x,y,z')
sage: fs = [x^2*y - y, sin(z)*x*y^2 - y*sin(z)]
sage: SR.groebner_basis(fs, [x,y])
-Marshall
On Jul 22, 3:47 am, Martin Albrecht m...@informatik.uni-bremen.de
wrote:
On Tue, Jul 21, 2009 at 9:37 AM, Ryan Hintoniob...@email.com wrote:
Are Groebner bases for multivariate polynomials over the symbolic ring
supposed to work?
No, they are definitely not supposed to work.
William
Here's what I get in Sage 4.0.1.rc2:
sage: R2.a,b = SR[]
sage: I2 = [a*b+a,
OK, this is now #6581. I assume it's just the
MPolynomialRing_polydict class missing the monomial_divides method.
Can anybody recommend a good approach for this?
Thanks!
- Ryan
On Jul 21, 12:44 pm, William Stein wst...@gmail.com wrote:
On Tue, Jul 21, 2009 at 9:37 AM, Ryan
On Tue, Jul 21, 2009 at 9:44 AM, William Steinwst...@gmail.com wrote:
On Tue, Jul 21, 2009 at 9:37 AM, Ryan Hintoniob...@email.com wrote:
Are Groebner bases for multivariate polynomials over the symbolic ring
supposed to work?
No, they are definitely not supposed to work.
I take that back.
I would recommend looking at how Mathematica handles this sort of
thing. One of the things I miss is its ability to selectively treat
different variables as either part of a coefficient ring or as
multivariate polynomials. For example:
GroebnerBasis[{x^2*y - y, Sin[z]*x*y^2 - y*Sin[z]}, {x,
