version 1.4, 2020/02/22 06:23:36 |
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/cpexpr.c,v 1.3 2019/03/06 07:35:40 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2018/io/cpexpr.c,v 1.6 2021/03/25 22:09:25 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 252 void PRINTV(VL vl,V v) |
|
Line 252 void PRINTV(VL vl,V v) |
|
|
|
void PRINTMPZ(mpz_t n) |
void PRINTMPZ(mpz_t n) |
{ |
{ |
if ( hex_output ) |
if ( hex_output == 1 ) |
total_length += mpz_sizeinbase(n,16)+2; |
total_length += mpz_sizeinbase(n,16)+3; |
|
else if ( hex_output == 2 ) |
|
total_length += mpz_sizeinbase(n,2)+3; |
else |
else |
total_length += mpz_sizeinbase(n,10); |
total_length += mpz_sizeinbase(n,10)+1; |
} |
} |
|
|
void PRINTZ(Z n) |
void PRINTZ(Z n) |
Line 403 void PRINTUP2(UP2 p) |
|
Line 405 void PRINTUP2(UP2 p) |
|
total_length += 11; |
total_length += 11; |
} |
} |
for ( i = d-1; i >= 0; i-- ) { |
for ( i = d-1; i >= 0; i-- ) { |
if ( p->b[i/BSH] & (1<<(i%BSH)) ) |
if ( p->b[i/BSH] & (1<<(i%BSH)) ) { |
if ( !i ) { |
if ( !i ) { |
PUTS("+1"); |
PUTS("+1"); |
} else if ( i == 1 ) { |
} else if ( i == 1 ) { |
Line 412 void PRINTUP2(UP2 p) |
|
Line 414 void PRINTUP2(UP2 p) |
|
PRINTHAT; |
PRINTHAT; |
total_length += 12; |
total_length += 12; |
} |
} |
|
} |
} |
} |
PUTS(")"); |
PUTS(")"); |
} |
} |