gmp_add

gmp_add -- Addition de 2 nombres GMP

Description

resource gmp_add ( resource a, resource b)

gmp_add( ) additionne les nombres GMP a et b . Le résultat est un nombre GMP .