On Fri, Jul 4, 2008 at 7:52 PM, Gabriel Dos Reis wrote: > | > | > ... > | > Evaluation of category forms already yields objects of the > | > domain Category -- at least in OpenAxiom. > | > > | > Bill Page wrote: > | In that case shall I submit: > | > | (1) -> T:Category := IntegerNumberSystem > | > | Category is a category, not a domain, and declarations > | require domains. > | > | as a bug report? > > > As far as I can see, this is a restriction in the base AXIOM system > carried over by OpenAxiom with no much justification now that > Category really does exist. So, yes, from my perspective, it is > a bug as much as I want to have both parameters and variables > of type Category.
Ok, good. > (I don't know much what they would do to the system). > I don't see why it should cause any problem since 'Category' is just a domain (category written with capital C in order to denote the domain, not the "conceptual category"). Perhaps like in the case of 'Domain' there will be some places where it will be necessary to be careful to dereference such names. E.g. T:Category := IntegerNumberSystem I:Domain := Integer if I has T then ... Regards, Bill Page. ------------------------------------------------------------------------- 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
