
From:  Gabriel Dos Reis 
Subject:  Re: [Axiomdeveloper] Re: BINGO, Curiosities with Axiom mathematical structures 
Date:  14 Mar 2006 01:44:19 +0100 
Martin Rubey <address@hidden> writes: [...]  If I ask *something* like Integer has Monoid(+) I'd like to get true.  If I ask *something* like Integer has Monoid(*) I'd like to get true.  For other operations I'd like to get false. 100% agreed.  gaby
[Prev in Thread]  Current Thread  [Next in Thread] 