[Top][All Lists]

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

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

From: Bill Page
Subject: Re: [Axiom-developer] help with Aldor categories, graphs and finite graphs.
Date: Sun, 11 Sep 2005 21:13:09 -0400


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:

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:

Bill Page.

reply via email to

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