[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: [Axiom-commit] SVN: axiom: [345] branch

From: Waldek Hebisch
Subject: Re: [Axiom-developer] Re: [Axiom-commit] SVN: axiom: [345] branches/wh-sandbox
Date: Fri, 1 Dec 2006 02:07:08 +0100 (CET)

Gabriel Dos Reis wrote:

> OK, I have not gotten that message yet.  But, the parts
>              ((NULL (MEMBER |kind| '("o" "k" "c" "d" "p"))) NIL)
> versus
>              ((NULL (MEMBER |k1| (LIST '|o| '|k| '|c| '|d| '|p|))) NIL)
> are still not explained to me.
> | 'member' user 'EQUAL' on strings.  'MEMBER' uses 'EQ', which does not
> | give expected effect for strings.

Boot translation is:

             ((NULL (|member| |kind| '("o" "k" "c" "d" "p"))) NIL)

My change essentially replaces '(EQUAL str1 str2)' by 
'(EQ (INTERN str1) (INTERN str2))', the second form is (probably) less
efficient but for our purpose equivalent.  In more detail: |member| uses
'EQUAL', to get equivalent effect using 'MEMBER' we replace strings
by symbols.  We need explicitly intern 'kind', but for the literal
list it is enough to change notation.

                              Waldek Hebisch

reply via email to

[Prev in Thread] Current Thread [Next in Thread]