[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] A curious algebra failure
|
From: |
Gabriel Dos Reis |
|
Subject: |
Re: [Axiom-developer] A curious algebra failure |
|
Date: |
11 Aug 2007 20:43:36 -0500 |
Stephen Wilson <address@hidden> writes:
[...]
| However, I have seen is kind of code in both Spad and Aldor a fair
| bit. I have always thought of `anonymous' category expressions
| matching structurally as well as nominally.
OK, I got the reference I was looking for: See on the discussion in
the Axiom book on Correctness, section 12.8.
-- Gaby
- [Axiom-developer] Re: .spad, .input, .as and autocoercion, (continued)
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Ralf Hemmecke, 2007/08/13
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Ralf Hemmecke, 2007/08/13
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Bill Page, 2007/08/13
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Ralf Hemmecke, 2007/08/14
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), William Sit, 2007/08/12
- Re: [Axiom-developer] "has" and "with" (was curious algebra failure), Bill Page, 2007/08/12
- Re: [Axiom-developer] A curious algebra failure, Martin Rubey, 2007/08/12
- Re: [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/12
- Re: [Axiom-developer] A curious algebra failure,
Gabriel Dos Reis <=
RE: [Axiom-developer] A curious algebra failure, Weiss, Juergen, 2007/08/12