[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


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:

      hash(s : %):  SingleInteger == SXHASH(s)$Lisp

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.

reply via email to

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