From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 8B899BBAF for ; Sat, 20 Feb 2010 14:54:18 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0EAM54f0uFBoIF/2dsb2JhbACDBZcfgVqrH4INjS4BBIExglNkgxc X-IronPort-AV: E=Sophos;i="4.49,508,1262559600"; d="scan'208";a="53190683" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail1-smtp-roc.national.inria.fr with ESMTP; 20 Feb 2010 14:54:17 +0100 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 80BA4B75E; Sat, 20 Feb 2010 22:54:13 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (camel-172 [172.16.254.4]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 366EF8894; Sat, 20 Feb 2010 22:54:13 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h= date:message-id:to:cc:subject:from:in-reply-to:references :mime-version:content-type:content-transfer-encoding; s=alpha; bh=T0fCnDIaFGWb3XoBC6A8gd88+T8=; b=HuD15QnzfPDyyQSsILq7zNegPrcK 5ru9PvRPPaTHYkzSL8uWcFIY4/WnUOoGgGJ8UpZMmmf0v3mj4of+aR3OzAVIuspH R+3kDX1toDHcU8mH3htHfOhGKuebgnWiC3dkFQnE3FEljpnRElw9GIdNOACJ2hiU QglQzgEiDs+KeRE= DomainKey-Signature: a=rsa-sha1; h=Received:Date:Message-Id:To:Cc:Subject:From:In-Reply-To:References:X-Mailer:Mime-Version:Content-Type:Content-Transfer-Encoding; b=En1HgHRr9v4f3Y+DjolXOQ+0kr3aKOScoouA2net6nE3t6GTQjHTPrjho28DBoreo7gBgiXUfokT9Ssn6FuDi7ddMPmjFeqHxMNbba/yh5Qmyt5gnCTBapIOlp6Edr5ExD6wdbyWoqr9X4rLay+MskQ/O6Xk87V6ppVlqTR/TMo=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha Received: from localhost (bsdserver02 [172.16.249.2]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id ECFD2888D; Sat, 20 Feb 2010 22:54:12 +0900 (JST) Date: Sat, 20 Feb 2010 22:54:12 +0900 (JST) Message-Id: <20100220.225412.98507853.garrigue@math.nagoya-u.ac.jp> To: kamaradclimber@gmail.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] range of hash function From: Jacques Garrigue In-Reply-To: <1ae8fe881002200054s2e9752d8x620695c3c4e27939@mail.gmail.com> References: <1ae8fe881002200054s2e9752d8x620695c3c4e27939@mail.gmail.com> X-Mailer: Mew version 6.2.51 on Emacs 22.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=utf-8 Content-Transfer-Encoding: base64 X-Spam: no; 0.00; hash:01 hash:01 hashes:01 hashtbl:01 byte:01 i--:01 hashtables:01 variants:01 byterun:01 polymorphic:01 caml-list:01 functions:01 probability:01 strings:01 strings:01 RnJvbTogR3LDqWdvaXJlIFNldXggPGthbWFyYWRjbGltYmVyQGdtYWlsLmNvbT4NCj4gaSB3b3Vs ZCBsaWtlIHRvIHVzZSB0aGUgcG9seW1vcmhwaWMgaGFzaCBmdW5jdGlvbiBvbiBzdHJpbmdzLiBC dXQgaSB3b3VsZA0KPiBsaWtlIHRvIGtub3cgd2hhdCBpcyB0aGUgcHJvYmFiaWxpdHkgb2YgYSBj b2xsaXNpb24gYmV0d2VlbiB0d28gaGFzaGVzLg0KPiANCj4gbXkgZmlyc3QgcXVlc3Rpb24gaXMg YWJvdXQgdGhlIHJhbmdlIG9mIHRoZSBIYXNodGJsLmhhc2ggZnVuY3Rpb246IHdoYXQgaXMNCj4g aXRzIHJhbmdlID8gKCBzdHJpbmcgLT4gWzEuLk5dID8pDQoNCkp1c3QgdG8gZ2V0IHRoaW5ncyBz dHJhaWdodDogdGhpcyBpcyAwLi4yXjMwLTEgKDAuLjB4M2ZmZmZmZmYpLg0KVGhlIHJlc3VsdCBv ZiB0aGUgaGFzaCBmdW5jdGlvbiBpcyB0aGUgc2FtZSBvbiAzMi1iaXQgYW5kIDY0LWJpdA0KYXJj aGl0ZWN0dXJlcy4NCg0KPiB0aGUgc2Vjb25kIHF1ZXN0aW9uIGlzIDogY2FuIGkgYXNzdW1lIHRo YXQgdGhlIHJlc3VsdCBpcyBhIHVuaWZvcm0NCj4gZGlzdHJpYnV0aW9uIG92ZXIgWzEuLk5dID8g KGZvciAxMOKBtiB3b3JkcyB3aGljaCBpcyBhbiBlc3RpbWF0aW9uIG9mIHRoZQ0KPiBlbmdsaXNo IHZvY2FidWxhcnkgc2l6ZSkNCg0KVGhlIGFsZ29yaXRobSBmb3Igc3RyaW5ncyBpcyBhcyBmb2xs b3dzOg0KDQogICAgICBpID0gY2FtbF9zdHJpbmdfbGVuZ3RoKG9iaik7DQogICAgICBmb3IgKHAg PSAmQnl0ZV91KG9iaiwgMCk7IGkgPiAwOyBpLS0sIHArKykNCiAgICAgICAgaGFzaF9hY2N1ID0g aGFzaF9hY2N1ICogMTkgKyAqcDsNCg0KU28geW91IGNhbiBhc3N1bWUgYW4gdW5pZm9ybSBkaXN0 cmlidXRpb24gZm9yIHN1ZmZpY2llbnRseSBsb25nDQpzdHJpbmdzLg0KDQo+IHRoZSB0aGlyZCBv bmUgaXMgOiBpcyBpdCBwb3NzaWJsZSB0byBwcmVkaWN0IHdoaWNoIHdpbGwgYmUgdGhlIGNvbGxp c2lvbiA/IEkNCj4gbWVhbiBjb2xsaXNpb25zIGFyZSBiZXR3ZWVuIHdvcmRzIHdoaWNoIGFyZSB2 ZXJ5ICdzaW1pbGFyJyAoZm9yIGV4OiAiYm95Ig0KPiBhbmQgImJveXMiKSBvciBhcmUgY29tcGxl dGVseSB1bnByZWRpY3RhYmxlLg0KDQpTaW5jZSB5b3UgaGF2ZSB0aGUgYWxnb3JpdGhtLCB5b3Ug Y2FuIHByZWRpY3QgY29sbGlzaW9ucy4gQmFzaWNhbGx5DQpzaGlmdGluZyBjaGFyYWN0ZXIgbiBi eSAxIGlzIGVxdWl2YWxlbnQgdG8gc2hpZnRpbmcgY2hhcmFjdGVyIG4rMSBieQ0KMTksIHNvIHlv dSBoYXZlIGxvdHMgb2YgY29sbGlzaW9ucy4gQnV0IHRoaXMgaGFzaCBmdW5jdGlvbiBiZWluZw0K aW50ZW5kZWQgZm9yIGhhc2h0YWJsZXMsIGNvbGxpc2lvbnMgYXJlIG5vdCBhIHByb2JsZW0sIHVu aWZvcm0NCmRpc3RyaWJ1dGlvbiBtYXR0ZXJzIG1vcmUuDQoNCkJ5IHRoZSB3YXksIGZvciBwb2x5 bW9ycGhpYyB2YXJpYW50cyBjb2xsaXNpb25zIG1hdHRlciwgYW5kIHRoZSBoYXNoDQpmdW5jdGlv biBpcyBkaWZmZXJlbnQuIFRoZSByYW5nZSBpcyAzMS1iaXRzIHJhdGhlciB0aGFuIDMwLWJpdHMs IGFuZA0KdGhlIGZhY3RvciBpcyAyNDMsIHNvIHRoYXQgbmFtZXMgb2Ygbm8gbW9yZSB0aGFuIDQg Y2hhcmFjdGVycyBhcmUNCmd1YXJhbnRlZWQgdG8gYmUgZGlmZmVyZW50LiBZb3Ugc3RpbGwgaGF2 ZSBjb2xsaXNpb25zLCBidXQgdGhleSBhcmUNCmdvaW5nIHRvIGJlIGxlc3Mgc2ltaWxhci4NCg0K Qm90aCBoYXNoIGZ1bmN0aW9ucyBhcmUgZGVmaW5lZCBpbiBieXRlcnVuL2hhc2guYy4NCg0KSG9w ZSB0aGlzIGhlbHBzLA0KDQpKYWNxdWVzIEdhcnJpZ3VlDQo=