From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Paul Eggert Newsgroups: gmane.emacs.devel Subject: Re: Using the GNU GMP Library for Bignums in Emacs Date: Sun, 22 Apr 2018 10:43:15 -0700 Organization: UCLA Computer Science Department Message-ID: <11e32649-6fd3-4f6e-8594-70d418202823@cs.ucla.edu> References: <29f933ac-a6bf-8742-66a7-0a9d6d3e5a88@disroot.org> <83bmecy6fx.fsf@gnu.org> <0d3175d8-d996-651e-b221-71978bde3a65@cs.ucla.edu> <51e619e0-ee38-eb97-6c1d-0925b675290a@disroot.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1524418892 24257 195.159.176.226 (22 Apr 2018 17:41:32 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 22 Apr 2018 17:41:32 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0 Cc: eliz@gnu.org, rms@gnu.org, emacs-devel@gnu.org To: Philipp Stephani , dancol@dancol.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Apr 22 19:41:28 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fAIzP-0006Dx-JV for ged-emacs-devel@m.gmane.org; Sun, 22 Apr 2018 19:41:27 +0200 Original-Received: from localhost ([::1]:47050 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fAJ1W-0001Ud-Eb for ged-emacs-devel@m.gmane.org; Sun, 22 Apr 2018 13:43:38 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39637) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fAJ1M-0001TZ-SH for emacs-devel@gnu.org; Sun, 22 Apr 2018 13:43:29 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fAJ1M-0001PC-1h for emacs-devel@gnu.org; Sun, 22 Apr 2018 13:43:28 -0400 Original-Received: from zimbra.cs.ucla.edu ([131.179.128.68]:42384) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fAJ1G-0001H3-GL; Sun, 22 Apr 2018 13:43:22 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 8C9EC1616C5; Sun, 22 Apr 2018 10:43:19 -0700 (PDT) Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id rDaA-pdZi1Fo; Sun, 22 Apr 2018 10:43:18 -0700 (PDT) Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id B39CE1616D5; Sun, 22 Apr 2018 10:43:18 -0700 (PDT) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id pQ0VIyPWXsJ7; Sun, 22 Apr 2018 10:43:18 -0700 (PDT) Original-Received: from [192.168.1.9] (unknown [47.154.30.119]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 878481616C5; Sun, 22 Apr 2018 10:43:18 -0700 (PDT) In-Reply-To: Content-Language: en-US X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 131.179.128.68 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:224788 Archived-At: Philipp Stephani wrote: > integers are currently documented to use modular arithmetic ( We'll need to change the documentation for modular arithmetic, since integers will no longer overflow. > and they are documented to be pure value types, i.e. same-valued integers > are the same objects. Especially the second property is widely used. This property is used only for fixnums now (since bignums do not exist yet), and we can keep this property for fixnums. We could also keep it for bignums, by hashing all bignums, though I doubt whether it's worth the expense.