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

[Bill Page]

William,

You wrote:

> Maybe if you don't use the same name "source" for two different
> things? (also "target"): you used it for a field in edges and
> also as an exported function.
> 

I don't think that this is a problem. The compiler is able to
easily distinguish the two uses of "source" because of strong
typing. In fact in this case they really are the same, i.e. the
field is the representation of the function so perhaps the usage
is justified.

This works in the spad version:

http://axiom-developer.org/SandBoxCategoryOfGraphsInSPAD

But the equivalent Aldor version of the code (with corrections
by Peter Broadbery and Steve Wilson, not with standing any
remaining errors on my part), gives a >>System error. See:

http://axiom-developer.org/SandBoxCategoryOfGraphs

Regards,
Bill Page.