From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A93D57F8F2 for ; Wed, 4 Jun 2014 23:03:13 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jacques-henri.jourdan@ens.fr) identity=pra; client-ip=176.31.242.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@ens.fr"; x-sender="jacques-henri.jourdan@ens.fr"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of jacques-henri.jourdan@ens.fr does not assert whether or not 176.31.242.187 is permitted sender) identity=mailfrom; client-ip=176.31.242.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@ens.fr"; x-sender="jacques-henri.jourdan@ens.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@ulminfo.fr) identity=helo; client-ip=176.31.242.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@ens.fr"; x-sender="postmaster@ulminfo.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUBAGSIj1OwH/K7l2dsb2JhbABZgmWEOLx5gw8BgREWDgEBAQEBCBYHPIImAQUjBFERCyEWCwICCQMCAQIBRRMIAQGIPwOsO6VqF45ZFoJfgUsEkV+BOp1t X-IPAS-Result: AoUBAGSIj1OwH/K7l2dsb2JhbABZgmWEOLx5gw8BgREWDgEBAQEBCBYHPIImAQUjBFERCyEWCwICCQMCAQIBRRMIAQGIPwOsO6VqF45ZFoJfgUsEkV+BOp1t X-IronPort-AV: E=Sophos;i="4.98,975,1392159600"; d="asc'?scan'208";a="78107683" Received: from ulminfo.fr ([176.31.242.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 04 Jun 2014 23:03:13 +0200 Received: from [IPv6:2a01:e35:2425:88b0:221:6aff:fe6f:b400] (unknown [IPv6:2a01:e35:2425:88b0:221:6aff:fe6f:b400]) (using TLSv1 with cipher ECDHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by ulminfo.fr (Postfix) with ESMTPSA id 6D44D44C3E for ; Wed, 4 Jun 2014 23:03:11 +0200 (CEST) Message-ID: <538F898E.9040302@ens.fr> Date: Wed, 04 Jun 2014 23:03:10 +0200 From: Jacques-Henri Jourdan User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: X-Enigmail-Version: 1.6 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="eLJQwRFnoxq95Kk6QJDRbhj9XhEKu8pGJ" Subject: Re: [Caml-list] How standard is exponentiation in ocaml? This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --eLJQwRFnoxq95Kk6QJDRbhj9XhEKu8pGJ Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi, (**) in OCaml is implemented using the C stdlib pow function. AFAIK, there is no strict guarantees on the precision of these functions... --=20 JH Le 04/06/2014 22:21, Arthur Breitman a =C3=A9crit : > Hello, >=20 > How standard is exponentiation in ocaml? >=20 > Specifically, is the result of > (**): float -> float -> float > guaranteed to be the same for the same input regardless of the compiler's > version? >=20 > Are any number of digits guaranteed to be correct? In which case I could > truncate. >=20 > I do not care too much about exactitude, but I need the operation's > semantic to be exactly defined. >=20 > Best, > Arthur >=20 --eLJQwRFnoxq95Kk6QJDRbhj9XhEKu8pGJ Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBAgAGBQJTj4mOAAoJEGHoGlEY1GjFUFAIAJsOJnCo2jHWDrubi1SZHQ8Z x9DDsQ0k7TkvRjBUzNPqTV1ni7Uw1LufDPECS4tY43irvMqqlsSW6RfuTU1Rb/Ga pqokWeB8ZOqCIVSJK3qqlk+MIpD73NKt/CnoVCcKsCZuOfHT+o5QA7oNkN6Su4Q7 p6nl4iz+bawQegAczVFTzZi18uXZjty7vs9eyWrNBJ4W6TZiz7XsABUbjKZp13JA NC3VouhENn8hTtQ6AF1DTBdgWJP0CHKEKuLZIolXbMR3OH1pvw3GGu5gMn4LW3Gw aL7pP1W7ihzl4hWGmmUZVgpNHlmVuCkYvXlVhKI8OZ+a+PpJu+Kmx9f0w8Ikoak= =1rZo -----END PGP SIGNATURE----- --eLJQwRFnoxq95Kk6QJDRbhj9XhEKu8pGJ--