[sage-devel] Re: MPolynomial.coeffient

2007-05-14 Thread cwitty
On May 14, 6:40 am, Martin Albrecht <[EMAIL PROTECTED]> wrote: > Please excuse my ignorance, but is this definition well known or should it be > given in the docstring? Also, how did the idea came up that SAGE needs this > method? I am just curious and trying to learn what people use MPolynomials

[sage-devel] Re: MPolynomial.coeffient

2007-05-14 Thread David Joyner
On 5/14/07, Martin Albrecht <[EMAIL PROTECTED]> wrote: > > On Monday 14 May 2007 15:00, Michel wrote: > > Assuming all this is correct then I can see > > > > > why Martin is objecting to the docstring's vagueness, but AFAIK the > > > behavior is correct. > > > > Yes I now thinks so too. > > Pleas

[sage-devel] Re: MPolynomial.coeffient

2007-05-14 Thread Martin Albrecht
On Monday 14 May 2007 15:00, Michel wrote: > Assuming all this is correct then I can see > > > why Martin is objecting to the docstring's vagueness, but AFAIK the > > behavior is correct. > > Yes I now thinks so too. Please excuse my ignorance, but is this definition well known or should it be

[sage-devel] Re: MPolynomial.coeffient

2007-05-14 Thread Michel
Assuming all this is correct then I can see > why Martin is objecting to the docstring's vagueness, but AFAIK the > behavior is correct. > Yes I now thinks so too. Michel --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To u

[sage-devel] Re: MPolynomial.coeffient

2007-05-14 Thread David Joyner
Using the analogy with primes, p^e||n iff p^e|n and p^{e+1} not not divide n: y^e||f(x,y) iff y^{e}|f(x,y) and y^{e+1} does not divide f(x,y). Here I'm implicitly assuming that y is a generator of the ring which f(x,y) belongs to. For monomials which are not generators then I'm not sure what "exa

[sage-devel] Re: MPolynomial.coeffient

2007-05-14 Thread Michel
> > But y^2 isn't *exactly* divisible by y, so why is y there in the output? > > So what is your definition of exactly divisible then? Michel --~--~-~--~~~---~--~~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group,

[sage-devel] Re: MPolynomial.coeffient

2007-05-14 Thread David Joyner
On 5/14/07, Martin Albrecht <[EMAIL PROTECTED]> wrote: > > Hi there, > > I am having trouble re-implementing MPolynomial.coeffient. The docstring > states: > > If f is this polynomial, then the coefficient is the sum T/mon > where the sum is over terms T in f that are exactly divis