Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123829
Date: Tue, 25 Jun 2024 18:15:20 +0100
To: "Saki Takamachi" <saki@sakiot.com>
Cc: "php internals" <internals@lists.php.net>
Message-ID: <190506515d4.f695d014203438.1450648485347018411@barneylaurance.uk>
In-Reply-To: <0E1E1C82-24A2-46FF-B649-56DD7C39350D@sakiot.com>
References: <190502bc4bf.1145fe1df199171.9215746182322416249@barneylaurance.uk> <0E1E1C82-24A2-46FF-B649-56DD7C39350D@sakiot.com>
Subject: Re: [PHP-DEV] Add bcdivmod() to BCMath
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
Importance: Medium
User-Agent: Zoho Mail
From: barney@barneylaurance.uk (Barney Laurance)




 ---- On Tue, 25 Jun 2024 17:29:58 +0100  Saki Takamachi  wrote --- 
 > 
 > Also, it is not practical to record the remainder in the Number object resulting from the division. This is because there can be objects whose division results are equal but whose remainders are different.
 > 
 > In the discussion of the Number class, it was argued that objects should not have too much state. 
 > 
 > Increasing the state of surplus is not desirable in this respect, as it contradicts the previous argument.

If anything I was thinking of recording the remainder in the the original number object, not the one returned (or possibly in something like a WeakMap keyed to it). So it does increase state and makes it technically no longer immutable, but that change in state would not be detectable from outside except by profiling performance. It's state that would have to be ignored in the equality check.