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

Reply via email to