[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] A curious algebra failure
From: |
Weiss, Juergen |
Subject: |
RE: [Axiom-developer] A curious algebra failure |
Date: |
Sun, 12 Aug 2007 18:38:27 +0200 |
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
>
RE: [Axiom-developer] A curious algebra failure, Weiss, Juergen, 2007/08/12