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


_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to