version 1.4, 2009/03/27 14:42:29 |
version 1.5, 2015/08/08 14:19:41 |
|
|
/* |
/* |
* $OpenXM: OpenXM_contrib2/asir2000/engine/d-itv.c,v 1.3 2003/02/14 22:29:08 ohara Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/engine/d-itv.c,v 1.4 2009/03/27 14:42:29 ohara Exp $ |
*/ |
*/ |
#if defined(INTERVAL) |
#if defined(INTERVAL) |
#include <float.h> |
#include <float.h> |
Line 28 void printbinint(int d) |
|
Line 28 void printbinint(int d) |
|
} |
} |
} |
} |
fprintf(stderr,"\n"); |
fprintf(stderr,"\n"); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
} |
} |
#endif |
#endif |
|
|
Line 48 double NatToRealUp(N a, int *expo) |
|
Line 51 double NatToRealUp(N a, int *expo) |
|
|
|
#if defined(ITVDEBUG) |
#if defined(ITVDEBUG) |
fprintf(stderr," %d : tail = %d\n", j, tail); |
fprintf(stderr," %d : tail = %d\n", j, tail); |
|
#if defined(__MINGW32__) || defined(__MINGW64__) |
|
fflush(stderr); |
|
#endif |
printbinint(p[j]); |
printbinint(p[j]); |
#endif |
#endif |
kk = (1<< (BSH - tail)) - 1; |
kk = (1<< (BSH - tail)) - 1; |