RE: [Axiom-developer] A curious algebra failure

[Gabriel Dos Reis]

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