version 1.6, 2020/02/01 14:20:42 |
version 1.7, 2022/04/03 00:49:25 |
|
|
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* $OpenXM: OpenXM_contrib2/asir2018/io/pexpr.c,v 1.5 2019/12/24 10:26:39 kondoh Exp $ |
* $OpenXM: OpenXM_contrib2/asir2018/io/pexpr.c,v 1.6 2020/02/01 14:20:42 ohara Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "al.h" |
#include "al.h" |
Line 201 void printmpz(mpz_t z) |
|
Line 201 void printmpz(mpz_t z) |
|
if ( hex_output == 1 ) { |
if ( hex_output == 1 ) { |
TAIL PUTS("0x"); |
TAIL PUTS("0x"); |
mpz_out_str(OUT,16,z); |
mpz_out_str(OUT,16,z); |
|
} else if ( hex_output == 2 ) { |
|
TAIL PUTS("0b"); |
|
mpz_out_str(OUT,2,z); |
} else |
} else |
mpz_out_str(OUT,10,z); |
mpz_out_str(OUT,10,z); |
#else |
#else |
Line 208 void printmpz(mpz_t z) |
|
Line 211 void printmpz(mpz_t z) |
|
if ( hex_output == 1 ) { |
if ( hex_output == 1 ) { |
TAIL PUTS("0x"); |
TAIL PUTS("0x"); |
s = mpz_get_str(0,16,z); |
s = mpz_get_str(0,16,z); |
|
} else if ( hex_output == 2 ) { |
|
TAIL PUTS("0b"); |
|
mpz_out_str(0,2,z); |
} else { |
} else { |
s = mpz_get_str(0,10,z); |
s = mpz_get_str(0,10,z); |
} |
} |