gmp_popcount

(PHP 4 >= 4.0.4, PHP 5)

gmp_popcount -- Compte de population

Description

int gmp_popcount ( resource a )

gmp_popcount() dénombre la population de a.

Exemple 1. Exemple avec gmp_popcount()

<?php
$pop1
= gmp_init("10000101", 2); // 3 1's
echo gmp_popcount($pop1) . "\n";
$pop2 = gmp_init("11111110", 2); // 7 1's
echo gmp_popcount($pop2) . "\n";
?>

L'exemple ci-dessus va afficher :

3
7