[Axiom-developer] Re: help with Aldor categories, graphs and finite graphs.

[Stephen Wilson]

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, address@hidden 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
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer