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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 7E6D4BB81 for ; Mon, 10 Oct 2005 06:12:38 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j9A4CcEU009818 for ; Mon, 10 Oct 2005 06:12:38 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id GAA14581 for ; Mon, 10 Oct 2005 06:12:37 +0200 (MET DST) Received: from disorder.primate.net (disorder.primate.net [198.144.194.12]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j9A4CZQm009811 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Mon, 10 Oct 2005 06:12:36 +0200 Received: from disorder.primate.net (localhost [127.0.0.1]) by disorder.primate.net (8.13.5/8.13.5/Debian-2) with ESMTP id j9A4CYWu023289 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sun, 9 Oct 2005 21:12:34 -0700 Received: from localhost (localhost [[UNIX: localhost]]) by disorder.primate.net (8.13.5/8.13.5/Submit) id j9A4CVOj023288 for caml-list@inria.fr; Sun, 9 Oct 2005 21:12:31 -0700 X-Authentication-Warning: disorder.primate.net: itz set sender to itz@buug.org using -f Received: from itz by unicorn with local (Exim 3.36 #1 (Debian)) id 1EOp1T-00047R-00; Mon, 10 Oct 2005 00:12:23 -0400 To: caml-list@inria.fr Subject: equality of Big_ints X-Unicorn-Archive: yes From: Ian Zimmerman Date: 10 Oct 2005 00:12:22 -0400 Message-ID: <87br1yhuxl.fsf@buug.org> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: Ian Zimmerman X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-1.6 (disorder.primate.net [127.0.0.1]); Sun, 09 Oct 2005 21:12:34 -0700 (PDT) X-Miltered: at concorde with ID 4349EA36.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4349EA33.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; itz:01 equality:01 equality:01 polymorphic:01 ints:01 zimmerman:01 int:01 int:01 caml:02 seems:03 ian:03 real:09 valerie:09 distinct:11 but:12 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Is Big_int.eq_big_int the same as polymorphic equality on Big_int.big_int? In other words, can the same big_int have distinct representations? I looked at Valerie Menissier-Morain's paper but it seems to refer to the "old" CAML, so I am afraid to draw any conclusions. -- "It's not true or not." A reality show producer (real quote)