From owner-sc22wg5+sc22wg5-dom9=www.open-std.org@open-std.org Wed Aug 23 14:21:14 2023 Return-Path: X-Original-To: sc22wg5-dom9 Delivered-To: sc22wg5-dom9@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 338E09DB18E; Wed, 23 Aug 2023 14:21:14 +0200 (CEST) Delivered-To: sc22wg5@open-std.org Received: from NAM04-BN8-obe.outbound.protection.outlook.com (mail-bn8nam04on2054.outbound.protection.outlook.com [40.107.100.54]) by www.open-std.org (Postfix) with ESMTP id 7B9FF359281 for ; Wed, 23 Aug 2023 14:21:12 +0200 (CEST) ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Lg8Vcsn2igKJW9GA/ga//s3QVB7Z6+fI3Gtotj0RGbUQRhdx4jpOm6210YYHmmC5HiAXlb1ouH9pbh8CCnURIWAiHGP6B9VJhLybT0LgFth8x9mRt0cYea1RmeeHwCIG39tnozvpbWqtdMri75vOQodb0lj64nLSYyGdMTyOhl2J6nYPb9MlIgaznZ+ZifeIh2kOeBRXaqIuQqhjvkP68LX1nvZAt1Fd63euuTqP46XD5inlL7pOO3Js7hOJIJbEP4eBmPStmZN2goeM+gHXbyUBIQXVgmO+LK82br8dTRSitLq/faGxwRhcawARCCJSc+ZLbvHANotyzLNcvKdUNw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=OrLuRXObVI92QYMjTR2uoIVPW1YZXly1k/MckjnFSyw=; b=DWcJfH7P3MXmtbwEXrIR60UhnwzGIqAZEW/LL8n8lpsRIJKNnekIhkYEiBkFJ1QKtjdv5tGwpCVODx6zXPvPJ3pg00/yx+LvSV7whCTsvZwdROvSBCN6oDpv38pjaRmIcI405OEQrpZP0OHxsBuu0BLXNoFE2DPqfXjQL9lJ6RiN3uu0xvvqgxfcbEtS54jcaXzeIQSFZ7no5Dd2ymvunG2ZOqTisYtUd++Cev7pq9YvpFmpsgdppailVvzwNcgtnJxvIST7UPnSzlJgUqiXBKMFySKQmWVNph4ZVghgu983gFbkKE8B42xYbcOZAUHKb1RdgLvepxChEEo8YaS7/Q== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=nvidia.com; dmarc=pass action=none header.from=nvidia.com; dkim=pass header.d=nvidia.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=Nvidia.com; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=OrLuRXObVI92QYMjTR2uoIVPW1YZXly1k/MckjnFSyw=; b=nXo9J4F0rTv2Cn5ELWBJ2yGMB3gmIoPZhd99DEVy22eaGdTrpuuFv57UgSBLry/BptkQDOCro4RF7yKu8yaGNucJ/by0ngZtubo4kE6jmHLRmt57wUd/xFKQMqWPwnwFEmuv9lVjYHVGez6MFKawqvM36lO5WlC1mTWsJUNolW4N1KsvVsROWBQLp24UgMKm8pdz0CiUcbgVPD2x1lwXmtLxKSj9ZHbChjAEyX/xTTPfF4xwVdj2roGYh/zf0gL77wCA7qDbcLSoGd50qMNZWLuSO/J6NfdMzgTebQtymbQUrG1LjZx86H8xgW09Aka/6GSbm2fjCc2zuiN4AXCj1Q== Received: from DM6PR12MB3130.namprd12.prod.outlook.com (2603:10b6:5:11b::16) by DS7PR12MB5839.namprd12.prod.outlook.com (2603:10b6:8:7a::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6699.20; Wed, 23 Aug 2023 12:21:08 +0000 Received: from DM6PR12MB3130.namprd12.prod.outlook.com ([fe80::59af:3a04:c24f:8191]) by DM6PR12MB3130.namprd12.prod.outlook.com ([fe80::59af:3a04:c24f:8191%5]) with mapi id 15.20.6678.025; Wed, 23 Aug 2023 12:21:08 +0000 From: Jeff Hammond To: WG5 Subject: raising a negative real value to a real power is prohibited Thread-Topic: raising a negative real value to a real power is prohibited Thread-Index: AQHZ1bqrMUMAuMNqBUaEHaRV9oJ7yw== Date: Wed, 23 Aug 2023 12:21:08 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=nvidia.com; x-ms-publictraffictype: Email x-ms-traffictypediagnostic: DM6PR12MB3130:EE_|DS7PR12MB5839:EE_ x-ms-office365-filtering-correlation-id: 3f73a4dc-9dbf-41f0-310a-08dba3d36e07 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: fMxwyUxiwAaiMqjjmvcxylspzs866WKHqSTjgQmisZFfWcHr5Vez+WSUzbVXt6Olh47AN8V+fjDhCdlUFbaDL1ZZyXE5TjBfafCrYBNL8oHTwaFI5IJJMfUBhciaSW+EtY+3JNq2YN3dcgT/oVMmTbZOWOILDl00C/I4Be2BuFAXwBOHLaurlT7CQivzQGzRgE9Jb5avLIvR8MyuXpE6nLPg4W5rVlhh5NFVUb+r0PqAn2jV56LzC76B6jO/u3udX/Ehr8ZL6/XiAayOyWvApYDj/GpdeOO4JX2DoGF+p75WpLvzgvc/fhywESCLrmKOMYj2ysLXJtaQrBzMoswszlZJx8n/HfxNbsFHg6REVvk1xsrMCBgYtFObazypOT7nm5E3MODKKdRbOqt57GtS+n4gzSsEwNpDb1PUOoLgfeLkP0bZ1Hbzrm5b59Uxr4dbVWRig191xp4ouJm/lMMAxPD/uZev233sSjt5GN2t8+Egtg8v3VlXSdQ9pAOzXi3HiLjg/30rt+8pvVtWss/qYEuRrd4xTFN1Io37BcJFp1Z0+GY4nJI6CUo0yXyFPsYOdenYcXrgCeCqAsXdHPWT/K0Wy+Ku2L0bdwhI6ZWgvKfsM5b8O5TwW56A0urlRIS/ x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:DM6PR12MB3130.namprd12.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(346002)(136003)(39860400002)(376002)(396003)(366004)(451199024)(186009)(1800799009)(64756008)(66446008)(66556008)(66476007)(2906002)(6916009)(5660300002)(52536014)(8676002)(41300700001)(8936002)(66946007)(4744005)(316002)(76116006)(478600001)(6506007)(71200400001)(7696005)(9686003)(26005)(122000001)(38070700005)(38100700002)(86362001)(55016003)(33656002);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?kSv9XaCcNnOLhHa/Ttgm3urAsuBeEAECuyKB8eeqheXmTGBXNu0IhGVW?= =?Windows-1252?Q?xu/2ZAFrhqkJ8gE8gkj5PqdYBbdkUVUqzkZ/o6XNfUuUUadDFlRt4zGe?= =?Windows-1252?Q?oA2vxMHOySmQB2vawJ0J2uqpSlZ6qvMrVFYKKRWrYCj+1mgvpVXJHUMu?= =?Windows-1252?Q?V6PZe82wmkQS/StjpQGd6WMDKzkyMwc1ixwcsc/Qmu/eDAFxi9y1tiyw?= =?Windows-1252?Q?opUheBiOlCopi9UmjmC2DGx0197D350VuD6cALHnEEEqBnmIqR/9aWXz?= =?Windows-1252?Q?XZaMVhvNc2YNIxgEbMJ3+JK0qCblaRKyIJXK+AFOS1Lnny13rc5YsrMW?= =?Windows-1252?Q?xVO5fLA03Z6jVGnCm1C7dq9tVGVMqR5CL54D7K9Igsco+cNllueYXIOj?= =?Windows-1252?Q?dxegGyEhXzYjM8vXZbV20by3KqtFNIx/cLYDj2XlId7i593/VR50MBnm?= =?Windows-1252?Q?xBnDgePWV+KZJoYnmD2qo4P5ckZcw7Av2sGVGRGbbC1+QnAQabrko3nX?= =?Windows-1252?Q?Hg83Y/xehS7mXGJ7rm1vTxv2HEq6n8dYN+M0Wx/SvukjPJo5vDzvFpu3?= =?Windows-1252?Q?DXlImcViZs6q7dY8XVGiRT2IbypKvZ8fAV6zDLwoqMp2hHL9QSlaX89G?= =?Windows-1252?Q?waM72l+maoz0L/siFsWpgJ9LcNWjTY3CaSWuEckLyyIcBcqiyiQ4+++X?= =?Windows-1252?Q?cFk/ltpkui8NMbAlz0Hh7tEdu1wDmh1f9BUYMEk4SrA6TmTRXBHHNFOC?= =?Windows-1252?Q?Z5ZcSED8T4fcCqcCRZi8UYHZ0xAm7egmf3rAz1qeU0z8TXw87s6x5kn+?= =?Windows-1252?Q?/1v0Wc2mE1o3RLRhYTQj76lpA1v/VoRJqpfa05xbEm7MPU7aBtJGZpdw?= =?Windows-1252?Q?IYg49qjvNqW7DWiwIu95ooVv8QXRr7IPlIlHlig/NHAGNWdwMX9SECfU?= =?Windows-1252?Q?alN5BBYn/Dg7UtFUIYgegHonmu6J8zDeJQ5cz0t4JLkXhk4Z4oo4J454?= =?Windows-1252?Q?BzoGNF9weR0YhC0aai5F2IGLWaVuYnNr9PRpVWwpBonVUlKRunLiRnZr?= =?Windows-1252?Q?ESkDvAK/rhihURJhKWsmJ+nCJ8V+iD/i0DZD9HF/Ngnud11bqzPtQy9e?= =?Windows-1252?Q?OrKkF89jj9NWYo+j8Hfn0qU8TOa6qF5Kt7aD/mKchsyGnUqzNEAEmvLJ?= =?Windows-1252?Q?BezyWB5qhzE6K7qS3z3S+vtGK6/m5NBbeyk7J5yD4zBm6J42f4znb2J2?= =?Windows-1252?Q?LLgZ+13pViCRg93qUmRMkql/Ph44fmmgSgGDk/xL5qRyHRlvNeN+r+7e?= =?Windows-1252?Q?PmFE7R/6tXytZEcXdHVk3jJA2eu68xs+Qjuc4n+wyfDG0Xx+HZt9YyMX?= =?Windows-1252?Q?6Xjz7yBNl+SLskZvUy9LuUScJ+YuQX9T0/xaH4DTSo63A/Jq1Ypgt9SZ?= =?Windows-1252?Q?7xCvShiJomC6giG8Au6RSyH/L4LVmznwd7oaIKSfv1Qee70+9Gg/G4Vs?= =?Windows-1252?Q?ekBSYTcxMeX7FIs5Igq6neM6Ge9XqrcArSOajGixPrCuhcXIwQImIF4g?= =?Windows-1252?Q?jdHIKgSvtvzOxLaQtSXC1I+pVnzY35VUbKdc1FBWAoTrP6fp6sFas5vO?= =?Windows-1252?Q?wgYgmFe2mDEKHu6Awbr2xT0ydi60+lpEumQpaj2zGgGKwPwdFM2qiNep?= =?Windows-1252?Q?WFE6F6XweWuQMrqIjo86BiV4uEfUoDlsBBP7804VeSFMdq+N7XA/Ig?= =?Windows-1252?Q?=3D=3D?= Content-Type: multipart/alternative; boundary="_000_DM6PR12MB3130494FFA1272F4846405C9CB1CADM6PR12MB3130namp_" MIME-Version: 1.0 X-OriginatorOrg: Nvidia.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: DM6PR12MB3130.namprd12.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 3f73a4dc-9dbf-41f0-310a-08dba3d36e07 X-MS-Exchange-CrossTenant-originalarrivaltime: 23 Aug 2023 12:21:08.1910 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 43083d15-7273-40c1-b7db-39efd9ccc17a X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: KCRaEgQXvuUXkKVrbrW8SSvjHFZjNfLM4XaLVuPcNbHnC5Nj47uyPvhQnKoxfUlas9mze7j0JGWkhGphZl0vSA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: DS7PR12MB5839 Sender: owner-sc22wg5@open-std.org Precedence: bulk --_000_DM6PR12MB3130494FFA1272F4846405C9CB1CADM6PR12MB3130namp_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Do I understand the following text correctly, that is, that the following p= rogram is prohibited, even though it perfectly well-defined mathematically? =9310.1.5.2.4 Evaluation of numeric intrinsic operations The execution of any numeric operation whose result is not defined by the a= rithmetic used by the processor is prohibited. Raising a negative real valu= e to a real power is prohibited.=94 program main implicit none real :: x, y x =3D -2.0 y =3D 2.0 print*,x**y end program main The first sentence is completely reasonable and seems sufficient to cover t= he problematic cases. I do not understand why the second sentence is neces= sary. Thanks, Jeff --_000_DM6PR12MB3130494FFA1272F4846405C9CB1CADM6PR12MB3130namp_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable

Do I= understand the following text correctly, that is, that the following progr= am is prohibited, even though it perfectly well-defined mathematically?

=9310.1.5.2.4 Eva= luation of numeric intrinsic operations

The execution of any numeric operation whose result is not defined by the = arithmetic used by the processor is prohibited. Raising a negative real val= ue to a real power is prohibited.=94

program main

  implicit non= e

  real :: x, y=

  x =3D -2.0

  y =3D  = 2.0

  print*,x**y<= o:p>

end program main

 

The = first sentence is completely reasonable and seems sufficient to cover the p= roblematic cases.  I do not understand why the second sentence is nece= ssary.

 

Than= ks,

 

Jeff=

--_000_DM6PR12MB3130494FFA1272F4846405C9CB1CADM6PR12MB3130namp_--