[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: 
28 Feb 2006 09:59:54 +0100 
Martin Rubey <address@hidden> writes:
 This problem was discussed in a thesis at St. Andrews, I forgot by whom but I
 can look it up.
Do you have a link?
 In fact it seems that this problem cannot be properly solved
 with Aldor. There was some discussion on this list, too.

 The reason is

 Rng(): Category == Join(AbelianGroup,SemiGroup)

 would give a problem...
What problems?
 Gaby
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Francois Maltey, 2006/03/01
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Martin Rubey, 2006/03/01
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures,
Gabriel Dos Reis <=
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, William Sit, 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, Gabriel Dos Reis, 2006/03/03
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, William Sit, 2006/03/04
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/07
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, William Sit, 2006/03/07