--- Ralf Hemmecke <[EMAIL PROTECTED]> wrote:
> Dear C Y,
>
> I think most of the answers you find in the Aldor User Guide.
> http://www.aldor.org/AldorUserGuide/
> http://www.aldor.org/docs/HTML/index.html
OK, I'll take a look. Thanks. (I should note that I don't use Aldor,
just basic Axiom - I tend to stick to open source stuff, so Aldor
specific syntax won't be terribly useful if it's too different from
Axiom's. Is Aldor's syntax a subset of Axiom's?)
[snip interesting stuff I'll need to read carefully]
> > Are Exports visible to the user on the command line or do they
> > manifest themselves in the parent Category?
>
> What is the parent Category here?
I guess I was thinking something like a Category Dimension and the
various Domains (Mass, Length, etc.) as members of that Category.
Sounds like that might not be the right way to work things though.
> I would opt for a general Unit domain instead of a domain for Mass,
> Length, etc. I somehow fear that Mass*Length (id Domain times Domain)
> is hard to work with. Implementation should be no problem, but I
> fear to convert from such a form into Force could lead to problems.
OK. What about this - have two domains, Dimensions and Units. Have
Units depend on Dimensions and define its units in terms of Dimensions.
Is this allowed? This would separate things conceptually and would
probably make things like dimensional analysis much simpler.
> Anyway, such a Metadomain would know about combinations of the
> basic domains and you have a Unit domain again which knows about
> all units.
Heh - good point :-).
Cheers, and thanks!
CY
____________________________________________________
Start your day with Yahoo! - make it your home page
http://www.yahoo.com/r/hs
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
