From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jean Louis Newsgroups: gmane.emacs.help Subject: Re: (*) -> 1 Date: Tue, 17 Jan 2023 21:51:42 +0300 Message-ID: References: <87r0vuidjc.fsf@eder.anydns.info> <87y1q1kvdm.fsf@web.de> <87h6wpkrlq.fsf@web.de> <875yd5knii.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7392"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mutt/2.2.9+54 (af2080d) (2022-11-21) Cc: help-gnu-emacs@gnu.org To: Michael Heerdegen Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Tue Jan 17 19:54:19 2023 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pHr6B-0001ks-9X for geh-help-gnu-emacs@m.gmane-mx.org; Tue, 17 Jan 2023 19:54:19 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pHr5h-0007tD-L4; Tue, 17 Jan 2023 13:53:50 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pHr5a-0007se-WB for help-gnu-emacs@gnu.org; Tue, 17 Jan 2023 13:53:43 -0500 Original-Received: from stw1.rcdrun.com ([217.170.207.13]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pHr5Y-0002SK-UR for help-gnu-emacs@gnu.org; Tue, 17 Jan 2023 13:53:42 -0500 Original-Received: from localhost ([::ffff:197.239.11.163]) (AUTH: PLAIN admin, TLS: TLS1.3,256bits,ECDHE_RSA_AES_256_GCM_SHA384) by stw1.rcdrun.com with ESMTPSA id 0000000000103952.0000000063C6EEB5.00002FA7; Tue, 17 Jan 2023 11:53:41 -0700 Mail-Followup-To: Michael Heerdegen , help-gnu-emacs@gnu.org Content-Disposition: inline In-Reply-To: <875yd5knii.fsf@web.de> Received-SPF: pass client-ip=217.170.207.13; envelope-from=bugs@gnu.support; helo=stw1.rcdrun.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.help:142334 Archived-At: * Michael Heerdegen [2023-01-17 21:48]: > Jean Louis writes: > > > > I OTOH have no garage. The number of my Ferraris in all my garages is > > > (+) -> 0 Ferraries. > > > > Don't add Ferraris, just multiply them and you will get one. > > Note that when (+ 2 3) would yield 7 in Elisp, I would accept your "it's > wrong" because there is a valid interpretation using Ferraris: (+ 2 3) > should return the number of Ferraris of two sets of two and three > Ferraris, and these are five Ferraris. > But what calculation involving Ferraris would (*) correspond to? I > don't see any interpretation of the formula that would apply to > Ferraris, so it's not valid to say that a result of "one Ferrari" is > wrong. What should that have calculated? In absence of factors it should give error. That is my expectation. And not in absence of factors to give whole series of Ferraris: (+ (*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)(*)) ➜ 16 -- Jean Take action in Free Software Foundation campaigns: https://www.fsf.org/campaigns In support of Richard M. Stallman https://stallmansupport.org/