On 07/08/2008 05:33 AM, Yixin Cao wrote: > 1) Category is a category > 2) declarations require domains > > I might consider it as a feature request, which asks for a new domain > to represent categories. > Well, yes, Category is a category, so cannot be used as the type of > variables.
What makes you so sure that Category is a category? What is the list of exports that Category provides? What do you mean by "cannot be uses as the type of variables"? It can certainly be used as a type of a constant, but why not as the type of a variable? You follow which definition? Where is that written down? > Where could I look up that for a declaration > > A: B > > to be valid, B must be a domain. Well, actually that raises the > question again, what is the definition of domain in OpenAxiom. I > know it for Aldor, but maybe it's already different in OpenAxiom (or > was/is in all the forks). > > Gaby, I think it would help if there were some Mathaction page with > the definition of "domain", "type", "category" (small c) in > OpenAxiom. I somehow got a bit confused by all that recent discussion. > I fully support this. but I also think now is NOT the proper time to do > this. But it is proper time that everybody comes forward and exactly defines *his/her* understanding of these concepts. http://axiom-wiki.newsynthesis.org/SandboxTypeDefinitions > Because we need to get a appropriate conclusion before put it in > the reference manual (for the users). Obvious we haven't, so it might be > better to be kept this in the developer maillist. Maybe we have no final conclusion yet, but it seems that everyone uses those concepts with a different meaning. So let's first state as clearly as possible what those current meanings are. One per person. Ralf ------------------------------------------------------------------------- Sponsored by: SourceForge.net Community Choice Awards: VOTE NOW! Studies have shown that voting for your favorite open source project, along with a healthy diet, reduces your potential for chronic lameness and boredom. Vote Now at http://www.sourceforge.net/community/cca08 _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel