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/SandBox7
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?
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer