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
"exactly divides" means. Assuming all this is correct then I can see
why Martin is objecting to the docstring's vagueness, but AFAIK the
behavior is correct.
On 5/14/07, Michel <[EMAIL PROTECTED]> wrote:
>
>
> >
> > 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, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
