[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] pointers
From: |
Bill Page |
Subject: |
Re: [Axiom-developer] pointers |
Date: |
Mon, 9 Nov 2009 20:18:51 -0500 |
Tim,
Besides the fact that from the standard we only have that
(equal x y) implies (= (sxhash x) (sxhash y)).
Do you see any reason why SXHASH is not used by default in SetCategory?
Note: OpenAxiom currently defines this default:
add
hash(s : %): SingleInteger == SXHASH(s)$Lisp
Regards,
Bill Page.
On Mon, Nov 9, 2009 at 7:51 PM, Tim Daly <address@hidden> wrote:
> ...
> There is a lisp function to get the hash value of any object
> call sxhash. You can call it.
>
> SXHASH(a)$Lisp
>
> Note that if
>
> c:=Integer
>
> then
> EQ(a,c)$Lisp is false
> SXHASH(a)$Lisp is not equal to SXHASH(c)$Lisp
>
> Thus the hash function you seek already exists.
> You just have to accept the fact that Spad is only syntactic
> sugar for lisp code and lisp is not evil.
- Re: [Axiom-developer] pointers//Decontructing domains, (continued)
- Re: [Axiom-developer] pointers, Gabriel Dos Reis, 2009/11/09
- Re: [Axiom-developer] pointers, William Sit, 2009/11/10
- Re: [Axiom-developer] pointers, Waldek Hebisch, 2009/11/10
- Re: [Axiom-developer] pointers, William Sit, 2009/11/10
- Re: [Axiom-developer] pointers, Tim Daly, 2009/11/10
- Re: [Axiom-developer] pointers, Gabriel Dos Reis, 2009/11/10
- Re: [Axiom-developer] pointers, William Sit, 2009/11/11
- Re: [Axiom-developer] pointers, Gabriel Dos Reis, 2009/11/10
- Re: [Axiom-developer] pointers,
Bill Page <=
- Re: [Axiom-developer] pointers, Tim Daly, 2009/11/09
- Re: [Axiom-developer] pointers, Tim Daly, 2009/11/10
- Re: [Axiom-developer] pointers, Gabriel Dos Reis, 2009/11/10
[Axiom-developer] Function cache in Axiom, Tim Daly, 2009/11/15
Message not availableMessage not availableMessage not availableMessage not availableMessage not available[Axiom-developer] Function cache in Axiom (Memoizing), Tim Daly, 2009/11/18
[Axiom-developer] Re: Function cache in Axiom (Memoizing), Bertfried Fauser, 2009/11/19