gmp_divexact
(PHP 4 >= 4.0.4)
gmp_divexact -- Exact division of numbers
Description
resource
gmp_divexact ( resource n, resource d)
Divides
n
by
d
, using fast "exact division" algorithm. This function produces correct results only when it is known in advance that
d
divides
n
.


Example 1. gmp_divexact() example
<?php
$div1 = gmp_divexact("10", "2");
echo gmp_strval($div1) . "\n";
$div2 = gmp_divexact("10", "3"); // bogus result
echo gmp_strval($div2) . "\n";
?>
The printout of the above program will be:
5
2863311534