12.4.11 Exchanging GMP numbers
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Foreign Language Interface
The Foreign Include File
Exchanging GMP numbers
PL_get_mpz()
PL_get_mpq()
PL_unify_mpz()
PL_unify_mpq()
Packages
Availability:
C-language interface function
bool
PL_unify_mpz
(
term_t t, mpz_t mpz
)
Unify
t
with the integer value represented by
mpz
and return
TRUE
on success. The
mpz
argument is not changed.