From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Pip Cet Newsgroups: gmane.emacs.devel Subject: Re: Making 'eq' == 'eql' in bignum branch Date: Wed, 29 Aug 2018 13:15:27 +0000 Message-ID: References: <29f933ac-a6bf-8742-66a7-0a9d6d3e5a88@disroot.org> <765767b2-d2e5-a9a6-f724-d58ecf4847bb@cs.ucla.edu> <76081b5d-8c10-0a37-2c97-d4864c0faa80@cs.ucla.edu> <09153aed-361d-4f82-d9ac-b502314769ae@cs.ucla.edu> <83lg91dqd4.fsf@gnu.org> <0F8F6E54-176C-48EE-9E7C-7CAC424D0D55@raeburn.org> <352c998a64c646b983a131039e9c732b@lanl.gov> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1535548548 13713 195.159.176.226 (29 Aug 2018 13:15:48 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 29 Aug 2018 13:15:48 +0000 (UTC) Cc: cpitclaudel@gmail.com, emacs-devel@gnu.org To: herring@lanl.gov Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Aug 29 15:15:44 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 1fv0K0-0003RE-2I for ged-emacs-devel@m.gmane.org; Wed, 29 Aug 2018 15:15:44 +0200 Original-Received: from localhost ([::1]:43087 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fv0M5-0002ao-Qu for ged-emacs-devel@m.gmane.org; Wed, 29 Aug 2018 09:17:53 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:41899) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fv0KS-0002Z3-M0 for emacs-devel@gnu.org; Wed, 29 Aug 2018 09:16:13 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fv0KQ-0006Rf-Hu for emacs-devel@gnu.org; Wed, 29 Aug 2018 09:16:12 -0400 Original-Received: from mail-lf1-x130.google.com ([2a00:1450:4864:20::130]:35065) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fv0KQ-0006Q0-71 for emacs-devel@gnu.org; Wed, 29 Aug 2018 09:16:10 -0400 Original-Received: by mail-lf1-x130.google.com with SMTP id q13-v6so4270075lfc.2 for ; Wed, 29 Aug 2018 06:16:07 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=UJzggiQwbPssK1npVzqDUuDBj/ekljQHBL9A1S4EhHk=; b=Ck4COplSB5QLrVEikKfzHPrpjhCScqQ3wTZcn+1olYJCDQ/7HBudaejxBI4Tg0KwZ7 bbLngF8ZgE9zuYoFjY9SlzDAfixK+ILR8iupq7/KHjx7fi6O9ARRvLkMPkv/bE+UUKs+ sOH2Czdxv3C1HXJPbNeRvS3n5nal2ggu6NvBfdXSoNRPaK+sdEQsivI1UhqNkAODT5xC AolBAkk+i7jdhxydiAnIEkk3lR1Mb/DhSUJhr8PZMeHEOzoVdlO3tLaA6/8nDIKDGdjK /KApIQjg6abktou9+9ENfoS50h3tggV61ubMKKo+4hk94a0fj9prJ6YK6M+w8HFxAs+X KG3w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=UJzggiQwbPssK1npVzqDUuDBj/ekljQHBL9A1S4EhHk=; b=ERFTq9ENnHQwQrOw32gt2wtaTdrECjW0ZcBWElTAlipMWl4IkroMD7pSYjWGnnhkkB WBsVE4oo1kULL7pj2TwDWTrom03SkJaF0NsvIf52OHecQW5fhOuNliWvRxau2obnnQdb +Gg2smzDw2KaCAsBwvznogPl8KbYGRN7pCXsjrTMS2lsvEUfYpWOcf2HtC9nBhwx0Wkz JoRZC2pVcprQURZhe3i+m7d6ZBHNcBP9PCroslkq43qLx+lD48YXvz/pwNVzKjZFbfRn 3rTUJt7mQ0iOZyBF4qinWk7WfUS2AjZYOpJywlPXruCkzdGXywjlkKJ4rHz5KUwT4KKZ g5qA== X-Gm-Message-State: APzg51ALVloBhvAneTvXhUybmLXfo2F8UFfGjmuxkQv2o9AemIhyqh2k jMUWcc/Ktzm1iSDPTPbUxbkOr3Qocb7g2M04pVI= X-Google-Smtp-Source: ANB0Vda/X6EiY70oidXhA6m1xDR3xhD2hlFnWvb32IzLvOEalrvPK59Kn/WzznARerW3YvKoVOyY+Az3KUUhFlP8pfk= X-Received: by 2002:a19:dd49:: with SMTP id u70-v6mr4574344lfg.135.1535548565642; Wed, 29 Aug 2018 06:16:05 -0700 (PDT) In-Reply-To: <352c998a64c646b983a131039e9c732b@lanl.gov> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4864:20::130 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:229050 Archived-At: On Wed, Aug 29, 2018 at 3:42 AM Herring, Davis wrote: > > Signed infinities are convenient symbols, but they're not numbers; I > > recall the horrified reaction of a mathematician when I told her about > > IEEE infinities (she thought I was making it up about NaNs). > > Of course +/-inf are numbers. I'm sorry I made a tangential mathematical statement; while I think it's correct that the usual definition of "number" excludes infinities (but not numbers that happen to be infinite), you are perfectly correct that it's okay to redefine the term as you see fit. To get this back to Emacs matters, `numberp' is fine as it is. > They're not real numbers, but neither are complex numbers, split-complex = numbers, dual numbers, p-adic numbers, quaternions, octonions, sedenions, h= yperreal numbers, or (please no) surreal numbers. With all due respect to = your mathematician friend, she has no exclusive claim over the definition (= such as it is) of "number" (and I'm a bit surprised if she hadn't heard of = at least one of the extended real lines I linked). She has; she simply has a different definition of "number" (and no doubt the three of us have three different definitions of the term). > NaN, on the other hand, is of course a floating-point value that explicit= ly claims not to be a number. I'm not sure whether to believe it; it seems= very useful that the operations on floating-point "numbers" are closed, bu= t that depends on NaN being one of them... Four definitions! For those not familiar with APL, JavaScript is a popular language that has Math.min() =3D Infinity.