On Wed, Sep 17, 2008 at 8:59 PM, John H Palmieri <[EMAIL PROTECTED]> wrote: > > sage: is_FractionField(FractionField(ZZ)) > False > > Oy. This seems to be intentional: there is a doctest very similar to > this. It doesn't seem right, though. How hard would it be to change? > Is it worth it?
In most cases in Sage (maybe all cases), is_Foo is a data type check. It's not making a mathematical assertion. The implementation is almost always a call to isinstance. > > Along the same lines, partial fraction decomposition should work for > rational numbers; this would work if elements of QQ were instances of > FractionFieldElement, right? Or you could just implement it, which would likely be a good idea. William > > > > > -- 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 [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
