| version 1.4, 2019/10/17 03:03:12 |
version 1.5, 2019/11/07 08:50:49 |
|
|
| /* |
/* |
| * $OpenXM: OpenXM_contrib2/asir2018/engine/p-itv.c,v 1.3 2019/06/04 07:11:23 kondoh Exp $ |
* $OpenXM: OpenXM_contrib2/asir2018/engine/p-itv.c,v 1.4 2019/10/17 03:03:12 kondoh Exp $ |
| */ |
*/ |
| #if defined(INTERVAL) |
#if defined(INTERVAL) |
| #include "ca.h" |
#include "ca.h" |
| Line 68 void istoitv(Num inf, Num sup, Itv *rp) |
|
| Line 68 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 / asir2018 / engine