|
From: | Ralf Hemmecke |
Subject: | Re: [Axiom-developer] Re: [Aldor-l] exports and constants |
Date: | Fri, 21 Jul 2006 13:48:47 +0200 |
User-agent: | Thunderbird 1.5.0.4 (X11/20060516) |
On 07/21/2006 07:58 AM, Martin Rubey wrote:
Dear all, I made yet another experiment (on SandBox7, no ssh here), and tested whether in the code below H would have SomeCat. It does not. B has, though.
http://wiki.axiom-developer.org/SandBox7mainHB and mainHS return false is totally clear. You define a *new* domain H and declare its type to be just CatA. What else would you expect?
Ralf
[Prev in Thread] | Current Thread | [Next in Thread] |