Hi Bill!
I looked at the code, and the only problem I see is that Record wont satisfy BasicType. IIRC, the primitive structured types in aldor do not export equality operations, let alone play into the standard category hierarchy, You could either write a custom Edge domain satisfying BasicType, else use a higher-level data type like List or PrimitiveArray. However, I cant be 100% about this. I do not have aldor installed. Cheers, Steve On Sun, Sep 11, 2005 at 02:03:02AM -0400, [EMAIL PROTECTED] wrote: > In > > http://www.axiom-developer.org/zope/mathaction/SandBoxCategoryOfGraphs > > I am trying to define the category of graphs in Aldor. > > When I try to use this category in the definition of the > domain of FiniteGraphs I get an unexpected error: > > There are no suitable meanings for the operator `GraphCategory'. > > But if I simply include the exported function definitions in > the domain itself then it seems to compile ok. > > Since I am really just learning Aldor, this is probably just > a simple error on my part. Can anyone help me understand the > error and how to use categories properly in this case? > > Regards, > Bill Page. > > > > > _______________________________________________ > Axiom-developer mailing list > [email protected] > http://lists.nongnu.org/mailman/listinfo/axiom-developer _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
