[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: 
02 Mar 2006 20:42:13 +0100 
"Bill Page" <address@hidden> writes:
 On February 26, 2006 12:31 AM Gabriel Dos Reis wrote:
 > ...
 > In the impressive diagram titled "Basic Agebra Hierarchy" displayed
 > in the Axiom Book (I only have a copy of the edition copyrighted 1992,
 > NAG), AbelianSemiGroup is not "derived" from SemiGroup, and similarly
 > AbelianMonoid is not "derived" from Monoid. I find that curious as it
 > goes counter the mathematical fact that an AbelianMonoid *is* a
 > Monoid, with an additional algebraic law (commutation).
 >

 The following is a prettier (I think) rendition of these diagrams
 done using GraphViz. It also contains a couple of corrections:

 http://wiki.axiomdeveloper.org/bookmain1/Endpaper3

 When viewed as pdf and in some dvi viewers this diagram includes
 live hyperlinks to the appropriate source files.
Thanks; I'll send it to friends with whom we are looking at "concepts".
That will save me from having to scan that page of the book.
 Gaby
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, (continued)
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Martin Rubey, 2006/03/02
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Gabriel Dos Reis, 2006/03/02
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Martin Rubey, 2006/03/04
 RE: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Bill Page, 2006/03/04
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures,
Gabriel Dos Reis <=
 RE: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Page, Bill, 2006/03/13
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, William Sit, 2006/03/13
 RE: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Page, Bill, 2006/03/13
 RE: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Page, Bill, 2006/03/13
 RE: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Page, Bill, 2006/03/14
 RE: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Page, Bill, 2006/03/14