On Tuesday 21 July 2009, Ryan Hinton wrote:
> 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?

Hi, take a  look at the generic monomial_divides function in

   multi_polynomial_ring.py

Not, sure it is enough to add this though. Since it isn't clear what the the 
symbolic ring is exactly, i.e. is it a field, I don't know which definition of 
a GB applies.

Martin

-- 
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://www.informatik.uni-bremen.de/~malb
_jab: martinralbre...@jabber.ccc.de





--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to