Re: [open-axiom-devel] sqaure operation on complex

2009-06-23 Thread Gabriel Dos Reis
Bill Page writes: | On Tue, Jun 23, 2009 at 5:24 AM, Gabriel Dos Reis wrote: | > Bill Page writes: | > | > I meant that in math, when we say the imaginary quantity `i', we don't | > mean the imaginary quantity from Gaussian integers.  Rather, what | > we want to say is that quantity in any compl

Re: [open-axiom-devel] sqaure operation on complex

2009-06-23 Thread Bill Page
On Tue, Jun 23, 2009 at 5:24 AM, Gabriel Dos Reis wrote: > Bill Page writes: > > I meant that in math, when we say the imaginary quantity `i', we don't > mean the imaginary quantity from Gaussian integers.  Rather, what > we want to say is that quantity in any complex ring of fields such that > i^

Re: [open-axiom-devel] sqaure operation on complex

2009-06-23 Thread Gabriel Dos Reis
Bill Page writes: | On Tue, Jun 23, 2009 at 12:35 AM, Gabriel Dos Reis wrote: | > | > I have been thinking about your patch for a while.  As I said | > in the bug audit trail, I fully agree that the bug originates from | > explogs2trigs.   However, the more I think about it, I more I | > become u

Re: [open-axiom-devel] sqaure operation on complex

2009-06-23 Thread Bill Page
On Tue, Jun 23, 2009 at 12:35 AM, Gabriel Dos Reis wrote: > > I have been thinking about your patch for a while.  As I said > in the bug audit trail, I fully agree that the bug originates from > explogs2trigs.   However, the more I think about it, I more I > become undecided what the proper fix sho

[open-axiom-devel] sqaure operation on complex

2009-06-22 Thread Gabriel Dos Reis
Bill -- I have been thinking about your patch for a while. As I said in the bug audit trail, I fully agree that the bug originates from explogs2trigs. However, the more I think about it, I more I become undecided what the proper fix should be -- this is not a criticism of your patch, I real