gmp/.gdbinit at develop · gx/gmp

Repository navigation

# This file is part of the GNU MP Library.

# The GNU MP Library is free software; you can redistribute it and/or modify

# it under the terms of either:

# * the GNU Lesser General Public License as published by the Free

# Software Foundation; either version 3 of the License, or (at your

# option) any later version.

# or

# * the GNU General Public License as published by the Free Software

# Foundation; either version 2 of the License, or (at your option) any

# later version.

# or both in parallel, as here.

# The GNU MP Library is distributed in the hope that it will be useful, but

# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY

# or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License

# for more details.

# You should have received copies of the GNU General Public License and the

# GNU Lesser General Public License along with the GNU MP Library. If not,

# see https://www.gnu.org/licenses/.

define pz

set __gmpz_dump ($)

end

define pq

set __gmpz_dump ($->_mp_num)

echo /

set __gmpz_dump ($->_mp_den)

end

define pf

set __gmpf_dump ($)

end