[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Curiosities with Axiom mathematical structures
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] 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