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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 31168BBAF for ; Tue, 10 Aug 2010 14:42:17 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjIBALvlYEyYToALkGdsb2JhbACTYYx2FQEBAQEJCQwHEQUdwmyFOgSJOoJO X-IronPort-AV: E=Sophos;i="4.55,348,1278280800"; d="scan'208";a="55269967" Received: from mailgate6.iss.soton.ac.uk ([152.78.128.11]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Aug 2010 14:42:16 +0200 Received: from mailgate6.iss.soton.ac.uk (localhost.localdomain [127.0.0.1]) by mailgate6.iss.soton.ac.uk (8.13.8/8.13.4) with ESMTP id o7ACg4hJ014091 for ; Tue, 10 Aug 2010 13:42:04 +0100 Received: from UOS-MSG00010-SI.soton.ac.uk (uos-msg00010-si.soton.ac.uk [152.78.119.33]) by mailgate6.iss.soton.ac.uk (mailgate6.iss.soton.ac.uk [152.78.128.11]) envelope-from with ESMTP id m79Dg409169349648h ret-id none; Tue, 10 Aug 2010 13:42:04 +0100 Received: from [152.78.38.109] (152.78.38.109) by smtp.soton.ac.uk (152.78.119.33) with Microsoft SMTP Server (TLS) id 8.2.213.0; Tue, 10 Aug 2010 13:42:03 +0100 Message-ID: <4C614915.406@soton.ac.uk> Date: Tue, 10 Aug 2010 13:41:57 +0100 From: Thomas Fischbacher User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Errors in Bignum arithmetic? References: <20100810123410.GC16292@vaio.jimpryor.net> In-Reply-To: <20100810123410.GC16292@vaio.jimpryor.net> Content-Type: text/plain; charset="ISO-8859-1"; format=flowed Content-Transfer-Encoding: 7bit X-smtpf-Report: sid=m79Dg4091693496400; tid=m79Dg409169349648h; client=relay,white,ipv6; mail=; rcpt=; nrcpt=1:0; fails=0 X-UOS-MailScanner-Information: Please contact Serviceline@soton.ac.uk for more information X-UOS-MailScanner-ID: o7ACg4hJ014091 X-UOS-MailScanner: Found to be clean X-UOS-MailScanner-From: t.fischbacher@soton.ac.uk X-Spam: no; 0.00; bignum:01 wrote:01 caml-list:01 arithmetic:01 lisp:02 strange:08 should:13 left:85 enough:14 U4:82 same:17 mod:18 regards:20 hand:20 hence:21 Jim Pryor wrote: > Hence all of these should hold, with a=3 or 5: > > 3**(561-1) mod 561 = 1 Strange enough, CMU Common LISP, mzscheme and CLISP give the same left hand side value of 375 here. -- best regards, Thomas Fischbacher t.fischbacher@soton.ac.uk