From: Emmanuel Touzery <emmanuel.touzery@...>
Date: 2004-01-26T21:08:13+09:00
Subject: Re: ruby-math and "why is ** not abelian?"

Van Jacques wrote:

>If + is commutative, and the successor operation to + is *, which is
>also commutative;
>(a*b = b*a), then why isn't a**b = b**a since ** is successor
>operation to * ?
>
>Some discussion of induction and Peano axioms, which I didn't think
>through.
>  
>
this should probably be posted to ruby-math, it's really quite off-topic 
here.

emmanuel