On Wed, Jul 22, 2009 at 1:38 AM, Martin Albrecht<[email protected]> wrote: > > 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. >
I think one should treat it like a field for this purpose. It is of course not really a field, since functions have poles, etc.; also, their are floating point numbers in SR and floating point numbers don't form a field either. But they are supposed to approximately model one. > 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: [email protected] > > > > > > > > -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
