[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Axiom Design Question / Polymake feedback
From: |
Page, Bill |
Subject: |
RE: [Axiom-developer] Axiom Design Question / Polymake feedback |
Date: |
Wed, 24 Aug 2005 11:14:25 -0400 |
William,
On Wednesday, August 24, 2005 11:03 AM William Sitt wrote:
> "Page, Bill" wrote:
> >
> > I think there are two possible bug reports here:
> >
> > 1) Union ( list of alternatives that are coercible to some ring )
> > should be a RING
>
> No! In your case, where the arguments of the union form an ascending
> chain of rings, that would be true. In general, you cannot do
arithmetic
> with operands from different rings. Think about Union(INT, MATRIX
INT).
You are right. I was wrong. I didn't stop to think about it long enough.
Thanks.
>
> The best one can do in Martin's case would be, as you noted,
>
> Union(MATRIX INT, MATRIX FRAC INT, MATRIX FLOAT)
>
Yes, that seems workable to me.
Regards,
Bill Page.