[Top][All Lists]

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

Re: [Axiom-developer] pointers

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] pointers
Date: Tue, 10 Nov 2009 01:42:51 -0600

Tim Daly <address@hidden> writes:

| Note that, under this definition
| a:Dequeue(Integer):= dequeue [1,2,3,4,5]
| b:Queue(Integer):= queue [1,2,3,4,5]
| hash(a) == hash(b)
I suspect you meant '='.

In any case, unless you have a hash function that is a bijection of the
whole universe onto the finite set SingleInteger, you're going to get
different objects/values mapped to the same hash value no matter what.

OpenAxiom being strongly typed, I'm not worried that you're going to put
both a and b in the same HashTable and not being able to avoid the

-- Gaby

reply via email to

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