gmp_divexact
(PHP 4 >= 4.0.4, PHP 5)
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.
例子 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:
|