[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 |
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.
- Re: [Axiom-developer] help with Aldor categories, graphs and finite graphs., Bill Page, 2005/09/11
- Re: [Axiom-developer] help with Aldor categories, graphs and finite graphs.,
Bill Page <=
- RE: [Axiom-developer] help with Aldor categories, graphs and finite graphs., Page, Bill, 2005/09/15
- RE: [Axiom-developer] help with Aldor categories, graphs and finite graphs., Page, Bill, 2005/09/15
- RE: [Axiom-developer] help with Aldor categories, graphs and finite graphs., Page, Bill, 2005/09/15
- RE: [Axiom-developer] help with Aldor categories, graphs and finite graphs., Page, Bill, 2005/09/15