[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures 
Date: 
14 Mar 2006 01:46:21 +0100 
Martin Rubey <address@hidden> writes:
[...]
 > Imagine you could ask "if M has Monoid(+)..." or "if M has
 > Monoid(*)...". According to which returns true, you would then go on and
call
 > (m1 +$M m2) or (m1 *$M m2). Well, but M might have a monoid structure with
 > respect to the operation ".". Do you really also want to ask "if M has
 > Monoid(.)..."? That soon becomes impractical.

 No, this is not an issue about practicality.

 Look at it this way: Suppose "M has Monoid" returns "true". How do you know
 then with respect to which operation M is a monoid? What can you do with the
 information that M is a monoid with respect to some operation?
Exactly!
If we had access to Aldor compiler sources, it would helpful to
experiment with these ideas.
 Gaby
 Re: [Axiomdeveloper] Re: BINGO,Curiosities with Axiom mathematical structures, (continued)
 Re: [Axiomdeveloper] Re: BINGO,Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/13
 RE: [Axiomdeveloper] Re: BINGO, Curiosities with Axiom mathematical structures, Bill Page, 2006/03/13
 Re: [Axiomdeveloper] Re: BINGO,Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/14
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Martin Rubey, 2006/03/10
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Martin Rubey, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, William Sit, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Gabriel Dos Reis, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Gabriel Dos Reis, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures,
Gabriel Dos Reis <=
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/14
 RE: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Bill Page, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Gabriel Dos Reis, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/14
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Gabriel Dos Reis, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/14
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Gabriel Dos Reis, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/08
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/08
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, William Sit, 2006/03/09