On Tue, Jul 21, 2009 at 9:44 AM, William Stein<wst...@gmail.com> wrote: > On Tue, Jul 21, 2009 at 9:37 AM, Ryan Hinton<iob...@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. The toy implementation should work over anything that behaves like a field. I guess SR is supposed to model a field, maybe, sort of... William > William > >> Here's what I get in Sage 4.0.1.rc2: >> >> sage: R2.<a,b> = SR[] >> sage: I2 = [a*b+a, a*a] * R2 >> sage: G2 = I2.groebner_basis() >> verbose 0 (2247: multi_polynomial_ideal.py, groebner_basis) Warning: >> falling back to very slow toy implementation. >> --------------------------------------------------------------------------- >> AttributeError Traceback (most recent call >> last) >> ... >> AttributeError: 'MPolynomialRing_polydict' object has no attribute >> 'monomial_divides' >> sage: >> >> I probably don't have the understanding (or time) to fix this, but I >> wanted to make sure I'm not doing something wrong. >> >> Thanks! >> >> - Ryan >> >> >> >> > > > > -- > William Stein > Associate Professor of Mathematics > University of Washington > http://wstein.org > -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
