[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Stephen Wilson
Subject: [Axiom-developer] Re: help with Aldor categories, graphs and finite graphs.
Date: Sun, 11 Sep 2005 09:53:15 -0400
User-agent: Mutt/1.5.6+20040907i

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.


On Sun, Sep 11, 2005 at 02:03:02AM -0400, address@hidden wrote:
> In
> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]