Manuel
PHP
Précédent
Suivant
gmp_div
gmp_div -- Divise deux nombres GMP
Description
resource
gmp_div
( resource a, resource b)
gmp_div(
)
est
un
alias
de
gmp_div_q(
)
.
Précédent
Sommaire
Suivant
Niveau
supérieur