RE: [Axiom-developer] A curious algebra failure

[Weiss, Juergen]

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. 

I know that I have a document describing type equivalence
for Scratchpad II. Problem is I cannot find it. :-(.

Regards

Juergen Weiss

Juergen Weiss     | Universitaet Mainz, Zentrum fuer Datenverarbeitung,
address@hidden| 55099 Mainz, Tel: +49(6131)39-26361, FAX:
+49(6131)39-26407
 

> -----Original Message-----
> From: address@hidden [mailto:address@hidden 
> Sent: Sunday, August 12, 2007 4:03 PM
> To: Weiss, Juergen
> Cc: address@hidden
> Subject: Re: [Axiom-developer] A curious algebra failure
> 
> Gabriel Dos Reis <address@hidden> writes:
> 
> [...]
> 
> | | By the way, I think the line must read
> | | 
> | |   v:= ASSOC(p,al) => s=rest v and al
> | |                               ====
> | | 
> | | this makes much more sense logically and should typecheck with 
> | | the   pmatch(s,p) == pmatchWithSl(s,p,[nil])
> | 
> | 
> | Yes, it typechecks; I just started a new build; I will report back.
> | I like your semantics description and suggested fix better.
> 
> It also fails.  But, I believe your suggested fix is the most correct.
> 
> -- Gaby
>