[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: |
11 Aug 2007 19:47:48 -0500 |
Gabriel Dos Reis <address@hidden> writes:
| On Sat, 11 Aug 2007, Stephen Wilson wrote:
|
| | From: Stephen Wilson <address@hidden>
| | Date: 11 Aug 2007 19:52:56 -0400
| | In-Reply-To: <address@hidden>
| | Message-ID: <address@hidden>
| | Lines: 26
| | User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4
| | MIME-Version: 1.0
| | Content-Type: text/plain; charset=us-ascii
| | --text follows this line--
| | Gabriel Dos Reis <address@hidden> writes:
| | > pmatchWithSl(s,p,al) ==
| | > s=$EmptyMode => nil
| | > s=p => al
| | > v:= ASSOC(p,al) => s=rest v or al
| | > MEMQ(p,$PatternVariableList) => [[p,:s],:al]
| | > null atom p and null atom s and_
| | > (al':= pmatchWithSl(first s,first p,al)) and
| | > pmatchWithSl(rest s,rest p,al')
| |
| | This function does not appear consistent.
| |
| | v:= ASSOC(p,al) => s=rest v or al
|
| Good spot -- that escapted me.
|
| Let me try your suggestion and report later -- due to my set of safety to 3,
| the build takes some time...
Your suggestion is correct, but the build still fails at the same
point. Looking at the call to expt(x,n) in the Spad code I don't
immediatelt see why it should be well-formed. Do you see why it is
OK?
-- Gaby
- [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Stephen Wilson, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure,
Gabriel Dos Reis <=
- Re: [Axiom-developer] A curious algebra failure, Stephen Wilson, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Stephen Wilson, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Stephen Wilson, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Stephen Wilson, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Stephen Wilson, 2007/08/11
- Re: [Axiom-developer] A curious algebra failure, Gabriel Dos Reis, 2007/08/12
- Re: [Axiom-developer] A curious algebra failure, Bill Page, 2007/08/11