Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:52572
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.170 as permitted sender)
DomainKey-Status: bad
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type
         :content-transfer-encoding;
        b=HoCmeuorG65gm/aft2rESvXcuQjoD8YzJiGlweWFwShm9lxwuIsCDBPZXd6dBfRhct
         Hc/GldKWmnuG/XJhdMqPAqWsB6pFVd2n/v5rtnSLAUN5jl20D489Mo751popBvZTjcJJ
         17l8SdrFiqQ2P/rxeMigMU6Ou7lOVPRb4Q+QE=
MIME-Version: 1.0
Sender: doctorrock83@gmail.com
In-Reply-To: <alpine.DEB.2.02.1105270917540.545@whisky>
References: <BA175FCA-75BB-43E6-BE2A-03D1997F6C15@roshambo.org>
 <2EFE9027-13EA-4570-B6D2-2C56D85C7DAE@macvicar.net> <alpine.DEB.2.02.1105270917540.545@whisky>
Date: Tue, 31 May 2011 21:39:59 +0200
Message-ID: <BANLkTimf7355bB2CX0nV16618PAX5bdWzA@mail.gmail.com>
To: Derick Rethans <derick@php.net>
Cc: Scott MacVicar <scott@macvicar.net>, Philip Olson <philip@roshambo.org>, 
	PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] INF behavior
From: jpauli@php.net (Julien Pauli)

Agree with Derick, strictly speaking, in maths science, INF !=3D INF.

But I dont care if PHP tells me than yes, because PHP is not designed
to solve high level maths problems :)

Cheer,

Julien.Pauli

On Fri, May 27, 2011 at 4:48 PM, Derick Rethans <derick@php.net> wrote:
> On Thu, 26 May 2011, Scott MacVicar wrote:
>
>> On 26 May 2011, at 20:03, Philip Olson <philip@roshambo.org> wrote:
>>
>> > Hello geeks,
>> >
>> > A geek is needed to clarify PHP bug #45712. This is an edge case but t=
he test (bug45712.phpt) contains code similar to the following:
>> >
>> > <?php
>> > $inf =3D pow(0, -2);
>> >
>> > var_dump($inf); =A0 =A0 =A0 =A0 =A0// float(INF)
>> > var_dump($inf =3D=3D =A0$inf); // bool(false)
>> > var_dump($inf =3D=3D=3D $inf); // bool(true)
>> > ?>
>> >
>> > That's how it's behaved since ~forever (AFAICT) and remains in 5.3.7-d=
ev, but PHP 5.4.0-dev changes behavior so both now return true.
>> >
>> > Is this is how we want it? And how should this be documented/explained=
?
>>
>> I think I changes this :-)
>>
>> It didn't make sense that =3D=3D and =3D=3D=3D produce different results=
.
>>
>> Though if someone has a better understanding of maths then we can fix it=
.
>
> I think it does make sense. =3D=3D is the equal operator, and INF is not
> equal to INF (just like SQL NULL is not equal to NULL). However, they
> are identical (like you can test in SQL with NULL IS NULL).
>
> cheers,
> Derick
>
> --
> http://derickrethans.nl | http://xdebug.org
> Like Xdebug? Consider a donation: http://xdebug.org/donate.php
> twitter: @derickr and @xdebug
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>