Martin Rubey <[EMAIL PROTECTED]> writes: > b) isn't the domain vector constant for domains and packages? I guess it > won't > be constant for default domains, right? I believe it should be that way, > because there is no way that a function definition in a domain or package > can be overridden, contrary to default definitions in categories.
sorry, I should have been more precise than that: I realize that it is not constant as a whole, since the domain constructor may have parameters. What I meant is that (qrefelt $ nn) is constant. I guess not even that is entirely correct, but mostly. Martin ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
