| version 1.9, 2019/06/04 07:11:22 |
version 1.10, 2019/11/07 08:47:35 |
|
|
| /* |
/* |
| * $OpenXM: OpenXM_contrib2/asir2000/engine/p-itv.c,v 1.8 2018/03/29 01:32:52 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/engine/p-itv.c,v 1.9 2019/06/04 07:11:22 kondoh Exp $ |
| */ |
*/ |
| #if defined(INTERVAL) |
#if defined(INTERVAL) |
| #include "ca.h" |
#include "ca.h" |
| Line 67 void istoitv(Num inf, Num sup, Itv *rp) |
|
| Line 67 void istoitv(Num inf, Num sup, Itv *rp) |
|
| type = 1; |
type = 1; |
| |
|
| mpfr_roundmode = MPFR_RNDD; |
mpfr_roundmode = MPFR_RNDD; |
| i = tobf(inf, DEFAULTPREC); |
i = tobf(ni, DEFAULTPREC); |
| //ToBf(inf, (BF *)&i); |
//ToBf(inf, (BF *)&i); |
| } else { |
} else { |
| i = ni; |
i = ni; |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to p-itv.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / engine