[sage-support] Re: why isn't QQ a FractionField?

2008-09-19 Thread daveloeffler
On Sep 19, 12:50 am, "William Stein" <[EMAIL PROTECTED]> wrote: > >    sage: FormalSum([(1,1/4),(1,-1/5)]) > >    -1/5 + 1/4 > >    sage: FormalSum([(1,1/4),(1,-1/5)]) == 1/4 - 1/5 > >    False > > That could be considered a bug and fixed.  I would > be fine with something better, i.e., comparis

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread John H Palmieri
On Sep 18, 1:01 am, "John Cremona" <[EMAIL PROTECTED]> wrote: > 2008/9/18 John H Palmieri <[EMAIL PROTECTED]>: > > Right, I saw that in the source code. How about we change it, in this > > case, from > > >    return isinstance(x, FractionField_generic) > > > to > > >    return isinstance(x, (Fract

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread William Stein
On Thu, Sep 18, 2008 at 12:12 PM, John H Palmieri <[EMAIL PROTECTED]> wrote: > > > > On Sep 18, 9:51 am, "William Stein" <[EMAIL PROTECTED]> wrote: >> On Thu, Sep 18, 2008 at 9:49 AM, John Cremona <[EMAIL PROTECTED]> wrote: >> >> > This looks a bit like an additive version of what we already do wi

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread John H Palmieri
On Sep 18, 9:51 am, "William Stein" <[EMAIL PROTECTED]> wrote: > On Thu, Sep 18, 2008 at 9:49 AM, John Cremona <[EMAIL PROTECTED]> wrote: > > > This looks a bit like an additive version of what we already do with > > factorizations.   I wonder if you could clever use the factorization > > class

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread William Stein
On Thu, Sep 18, 2008 at 9:49 AM, John Cremona <[EMAIL PROTECTED]> wrote: > > This looks a bit like an additive version of what we already do with > factorizations. I wonder if you could clever use the factorization > class for it? It's possible somebody might find this useful: sage: FormalSum

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread John Cremona
This looks a bit like an additive version of what we already do with factorizations. I wonder if you could clever use the factorization class for it? John PS I didn't really mean to suggest that you were stuck on the mathematics of this! 2008/9/18 John H Palmieri <[EMAIL PROTECTED]>: > > On S

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread John H Palmieri
On Sep 18, 7:41 am, John H Palmieri <[EMAIL PROTECTED]> wrote: > > It wasn't the mathematics I was looking for, but how to output the > answer once I find it. If Sage computes that 1/20 = 1/4 - 1/5, how do > I get it to print the expression 1/4 - 1/5 without simplifying it to > 1/20?  For example,

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread John H Palmieri
On Sep 18, 1:01 am, "John Cremona" <[EMAIL PROTECTED]> wrote: > 2008/9/18 John H Palmieri <[EMAIL PROTECTED]>: > > > On Sep 17, 9:09 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > >> On Wed, Sep 17, 2008 at 8:59 PM, John H Palmieri <[EMAIL PROTECTED]> wrote: > > >> > Along the same lines, partia

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread John H Palmieri
On Sep 18, 5:31 am, Burcin Erocal <[EMAIL PROTECTED]> wrote: > On Wed, 17 Sep 2008 21:48:37 -0700 (PDT) > John H Palmieri <[EMAIL PROTECTED]> wrote: > > > On Sep 17, 9:09 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > > > On Wed, Sep 17, 2008 at 8:59 PM, John H Palmieri > > > <[EMAIL PROTECTED]>

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread Burcin Erocal
On Wed, 17 Sep 2008 21:48:37 -0700 (PDT) John H Palmieri <[EMAIL PROTECTED]> wrote: > > On Sep 17, 9:09 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > > On Wed, Sep 17, 2008 at 8:59 PM, John H Palmieri > > <[EMAIL PROTECTED]> wrote: > > > > > Along the same lines, partial fraction decompositi

[sage-support] Re: why isn't QQ a FractionField?

2008-09-18 Thread John Cremona
2008/9/18 John H Palmieri <[EMAIL PROTECTED]>: > > On Sep 17, 9:09 pm, "William Stein" <[EMAIL PROTECTED]> wrote: >> 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: th

[sage-support] Re: why isn't QQ a FractionField?

2008-09-17 Thread John H Palmieri
On Sep 17, 9:09 pm, "William Stein" <[EMAIL PROTECTED]> wrote: > 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 see

[sage-support] Re: why isn't QQ a FractionField?

2008-09-17 Thread William Stein
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 mo