From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by sourceware.org (Postfix) with ESMTPS id 139B43858D1E for ; Sat, 30 Mar 2024 16:51:42 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 139B43858D1E Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 139B43858D1E Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=170.10.129.124 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1711817503; cv=none; b=vZOK3FtqpNMdDuQvapoVEWyKo4SgyjMxEYbMh+2b3yESMAGVDrv1d02OwfKUXJ2BBu0hsF/fP+COulY3yFIcUzTSVxrxlty5TgShYI87DXAPb4RhuZ0u9inZUKtPHhUQhuuM/LgMxb1GTnGmj+Jp+FJY0SB5+hxwFFbeW3bMCUI= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1711817503; c=relaxed/simple; bh=YTXPTrMypplGcOqeKZcDw2WzJmnamYoDLpm0SUydpMM=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=At0dcVBGrxgDJGMrlIihdQ1V6rAb6cWXHl9QTmn/3TxGkfHmWuS4CWM9LASbrmpEpfPPHkd6UTs5bhnLU3I7NHaV1UM2BoZ6lSVc/AHnxd0uCu7TEvUAlqc+Pa8B6pgnZvHG6UGYPUjMvPVQAzc3cqKvrfiiyaHjYF27J53DNxw= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1711817501; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to; bh=1gflKaEbOpD2wpzwe/TsVFtw9zKkhozUpZ/A4sy5wW4=; b=KABRFkW2+QWXUh500GS5zh5xd3BR+y8Il66iatzsI5vq95KQhDfrfwnsKRlZo5ufCYHg0B 0ZpHMqAAoEA7S+fx4c2nYhoZvhceQL9LQX6zs7Nc3jV07pelGV2TmJZz5dG0KHqUm1kRF8 9/5zpU4U2/Bvee0JiaB+t7dj/NsETG4= Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-33-uiImQxswO5Sf9uJGvdRDJw-1; Sat, 30 Mar 2024 12:51:36 -0400 X-MC-Unique: uiImQxswO5Sf9uJGvdRDJw-1 Received: from smtp.corp.redhat.com (int-mx04.intmail.prod.int.rdu2.redhat.com [10.11.54.4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 8D338811E81; Sat, 30 Mar 2024 16:51:36 +0000 (UTC) Received: from greed.delorie.com (unknown [10.22.8.10]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 75AC32024517; Sat, 30 Mar 2024 16:51:36 +0000 (UTC) Received: from greed.delorie.com.redhat.com (localhost [127.0.0.1]) by greed.delorie.com (8.16.1/8.16.1) with ESMTP id 42UGpZqJ2870439; Sat, 30 Mar 2024 12:51:35 -0400 From: DJ Delorie To: Paul Zimmermann Cc: alx@kernel.org, libc-alpha@sourceware.org Subject: Re: [PATCH v2 3/3] manual: Cube roots are rarely representable In-Reply-To: (message from Paul Zimmermann on Sat, 30 Mar 2024 08:07:32 +0100) Date: Sat, 30 Mar 2024 12:51:35 -0400 Message-ID: MIME-Version: 1.0 X-Scanned-By: MIMEDefang 3.4.1 on 10.11.54.4 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain X-Spam-Status: No, score=-4.5 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_NONE,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Paul Zimmermann writes: >> From: DJ Delorie >> Cc: libc-alpha@sourceware.org >> Date: Fri, 29 Mar 2024 20:27:44 -0400 >> >> Alejandro Colomar writes: >> >> > -These functions return the cube root of @var{x}. They cannot >> > -fail; every representable real value has a representable real cube root. >> >> > +These functions return the cube root of @var{x}. They cannot >> > +fail; every representable real value has a real cube root, >> > +and rounding it to a representable value >> > +never causes overflow nor underflow. >> >> Wording is OK but the $subject says the exact opposite... > > It is fine to me. The subject says that the cube root of a floating-point > number is rarely a floating-point number, which is true: for a p-bit format, > only about 2^(p/3) numbers have an exact cube root. Let me rephrase: The $subject does not convey the intent of the patch. If the patch adds wording that "the result never errors" the subject should reflect that change, not some other aspect of the issue. Something like "Note why cube roots always give representable results."