From nobody Fri Nov 28 07:36:07 2025 X-Original-To: numerics@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4dHlTl6FRMz6JK2y for ; Fri, 28 Nov 2025 07:36:11 +0000 (UTC) (envelope-from Paul.Zimmermann@inria.fr) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "smtp.inria.fr", Issuer "GEANT TLS RSA 1" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4dHlTk2MN2z3s0p for ; Fri, 28 Nov 2025 07:36:10 +0000 (UTC) (envelope-from Paul.Zimmermann@inria.fr) Authentication-Results: mx1.freebsd.org; dkim=pass header.d=inria.fr header.s=dc header.b=pzskbjOW; dmarc=pass (policy=none) header.from=inria.fr; spf=pass (mx1.freebsd.org: domain of Paul.Zimmermann@inria.fr designates 192.134.164.83 as permitted sender) smtp.mailfrom=Paul.Zimmermann@inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:message-id:from:to:cc:in-reply-to:subject: references; bh=3L/GOqGKghxw7+va7dDeh1NmuQZwaCoLuw8rTOGc0Ak=; b=pzskbjOW6ZCiyHeLJ4Ye3iJz7d3f5FMIzsF+4SgVIvA2ygbczQNlKqo/ DsWNHGBW2EX8xDC73uoJEkRnxtBSv2V4v+C2nRSg8YuMJU2rY1wVxgjwe kym4jkYAGzwDxZI34IkZcX/s54fuZzfRWaFdtg1xfbTMfgxu3jYHdRM6v 4=; X-CSE-ConnectionGUID: rvDrY1q0RQ21is66161HvA== X-CSE-MsgGUID: LTbEe5oLSBa+N2YTZ+g/4Q== Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of Paul.Zimmermann@inria.fr is inclined to not designate 152.81.2.78 as permitted sender) identity=mailfrom; client-ip=152.81.2.78; receiver=mail2-relais-roc.national.inria.fr; envelope-from="Paul.Zimmermann@inria.fr"; x-sender="Paul.Zimmermann@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@araignee) identity=helo; client-ip=152.81.2.78; receiver=mail2-relais-roc.national.inria.fr; envelope-from="Paul.Zimmermann@inria.fr"; x-sender="postmaster@araignee"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.20,232,1758578400"; d="scan'208";a="251686674" Received: from araignee.loria.fr (HELO araignee) ([152.81.2.78]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 28 Nov 2025 08:36:07 +0100 Date: Fri, 28 Nov 2025 08:36:07 +0100 Message-Id: From: Paul Zimmermann To: Robert Clausecker Cc: numerics@freebsd.org In-Reply-To: (message from Robert Clausecker on Thu, 27 Nov 2025 22:11:37 +0100) Subject: Re: C23 support for libm References: X-Spamd-Bar: ------- X-Spamd-Result: default: False [-7.07 / 15.00]; DWL_DNSWL_MED(-2.00)[inria.fr:dkim]; NEURAL_HAM_LONG(-1.00)[-1.000]; NEURAL_HAM_MEDIUM(-1.00)[-1.000]; NEURAL_HAM_SHORT(-0.97)[-0.974]; DMARC_POLICY_ALLOW(-0.50)[inria.fr,none]; RCVD_DKIM_ARC_DNSWL_MED(-0.50)[]; RWL_MAILSPIKE_EXCELLENT(-0.40)[192.134.164.83:from]; R_SPF_ALLOW(-0.20)[+ip4:192.134.164.0/24]; RCVD_IN_DNSWL_MED(-0.20)[192.134.164.83:from]; R_DKIM_ALLOW(-0.20)[inria.fr:s=dc]; MIME_GOOD(-0.10)[text/plain]; TO_DN_SOME(0.00)[]; ASN(0.00)[asn:2200, ipnet:192.134.164.0/24, country:FR]; MISSING_XM_UA(0.00)[]; RCVD_COUNT_ONE(0.00)[1]; MIME_TRACE(0.00)[0:+]; RCPT_COUNT_TWO(0.00)[2]; ARC_NA(0.00)[]; FROM_HAS_DN(0.00)[]; MLMMJ_DEST(0.00)[numerics@freebsd.org]; FROM_EQ_ENVFROM(0.00)[]; RCVD_TLS_LAST(0.00)[]; TO_MATCH_ENVRCPT_SOME(0.00)[]; DKIM_TRACE(0.00)[inria.fr:+] X-Rspamd-Queue-Id: 4dHlTk2MN2z3s0p List-Id: Discussions of high quality implementation of libm functions List-Archive: https://lists.freebsd.org/archives/freebsd-numerics List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-numerics@FreeBSD.org Hi Robert, > > note that all new C23 functions are available in CORE-MATH (with correct > > rounding): > > > > https://core-math.gitlabpages.inria.fr/ > > > > The MIT license should enable easy integration into Newlib. > > I checked some functions and couldn't find them: > pown(), powr(), rootn(), fromfpx(), nextup(), nextdown(). > It seems like only a small set of the new C23 functions are supported > by this project. Neverthless, those might be a useful import, but > I'll leave that to kargl, as I am not an expert on numerical programming. we mainly focus on functions with real arguments only: acospi, asinpi, atanpi, atan2pi, compound, cospi, sinpi, tanpi, exp10m1, exp2m1, log10p1, log2p1, rsqrt. I let you judge whether this is a small or large set :-) They should be straightforward to import, since each function has its own foo.c file, without any dependency. Anyway, we will be happy to hear about issues with the integration if any. Best regards, Paul