[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: |
Sun, 12 Aug 2007 11:41:47 -0500 (CDT) |
On Sun, 12 Aug 2007, Weiss, Juergen wrote:
| I just compiled some algebra (INTALG.spad) with tracing
| for pmatch and pmatchWithSl. I do not know if this file
| is exemplary - but I never got any non nil return values
| with the old and the new version of the functions.
|
| So any change to those functions will have only a small
| effect at all.
OK, many thanks.
I'll try to look for the break somewhere else.
| I know that I have a document describing type equivalence
| for Scratchpad II. Problem is I cannot find it. :-(.
I'm highly interested in that paper when you find it :-)
-- Gaby
RE: [Axiom-developer] A curious algebra failure, Weiss, Juergen, 2007/08/12