[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 16:06:52 +0100 
Martin Rubey <address@hidden> writes:
 Here you go:

 http://lists.nongnu.org/archive/html/axiomdeveloper/200509/msg00130.html

 or page 124 of

 http://worldofnic.org/research/phd.ps
Thanks, I'll read that carefully.
 Gabriel Dos Reis <address@hidden> writes:

 >  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?

 Well, if you inherit an operation, you cannot alter the name of the
 operation. Rng inherits really two different monoids, one for addition and one
 for multiplication. Thus there would be a name conflict...
Yes, that is what we discussed in the other messages.
Fundamentally, the problem is because inappropriate inheritance was
chosen, or rather, inheritance is inappropriate.
Suppose that the operation (and associated constants) are parameters
to Monoid, Group and so forth; why would now have a construct like
Ring(mul, add, zero, one) == Join(Group(add, zero),
SemiGroup(mul, one)) ....
would cause a conflict?
 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, 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
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Martin Rubey, 2006/03/08
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Ralf Hemmecke, 2006/03/09
 Re: [Axiomdeveloper] Curiosities with Axiom mathematical structures, Martin Rubey, 2006/03/09