[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: [Aldor-l] exports and constants

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 (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,

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]