[BACK]Return to interval.h CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2018 / include

Diff for /OpenXM_contrib2/asir2018/include/interval.h between version 1.4 and 1.5

version 1.4, 2019/11/12 10:53:23 version 1.5, 2019/12/24 10:26:38
Line 1 
Line 1 
 /*  /*
  * $OpenXM: OpenXM_contrib2/asir2018/include/interval.h,v 1.3 2019/10/17 03:03:12 kondoh Exp $   * $OpenXM: OpenXM_contrib2/asir2018/include/interval.h,v 1.4 2019/11/12 10:53:23 kondoh Exp $
 */  */
 #ifndef  _INTERVAL_H  #ifndef  _INTERVAL_H
 #define  _INTERVAL_H  #define  _INTERVAL_H
Line 7 
Line 7 
 #define  PRINTF_G  0  #define  PRINTF_G  0
 #define  PRINTF_E  1  #define  PRINTF_E  1
   
 #define INT_ASIR_VERSION        20191111  #define INT_ASIR_VERSION        20191219
   
 #if defined(INTERVAL)  #if defined(INTERVAL)
 #if INTERVAL == 0  #if INTERVAL == 0
Line 222  extern int zerorewriteCount;
Line 222  extern int zerorewriteCount;
 #define EvalIntervalQuad                1  #define EvalIntervalQuad                1
 #define EvalIntervalBigFloat    2  #define EvalIntervalBigFloat    2
   
 #if 0  
 double  ToRealSup(Num);  
 double  ToRealInf(Num);  
 double  RatnToRealUp(Q);  
 double  NatToRealUp(N, int *);  
   
 void  double2bf(double, BF *);  
 double  bf2double(BF);  
   
   
 void    additv(Num, Num, Num *);  
 void    subitv(Num, Num, Num *);  
 void    mulitv(Num, Num, Num *);  
 int     initv(Num, double);  
 int     itvinitv(Itv, Itv);  
 void    divitv(Num, Num, Num *);  
 void    sqrtitv(Num, Num *);  
 void    pwritv(Num, Num, Num *);  
 void    pwritv0(Itv, long, Itv *);  
 void    chsgnitv(Num, Num *);  
 void    miditv(Itv, Num *);  
 int     cmpitv(Itv, Itv);  
 void    cupitv(Itv, Itv, Itv *);  
 void    capitv(Itv, Itv, Itv *);  
 void    widthitv(Itv, Num *);  
 void    distanceitv(Itv, Itv, Num *);  
 #endif  
   
 /***    engine/p-itv.c    ***/  /***    engine/p-itv.c    ***/
 void  itvtois(Itv, Num *, Num *);  void  itvtois(Itv, Num *, Num *);
 void  istoitv(Num, Num, Itv *);  void  istoitv(Num, Num, Itv *);
Line 328  void    distanceitvd(IntervalDouble, IntervalDouble, N
Line 300  void    distanceitvd(IntervalDouble, IntervalDouble, N
 void evalitvr(VL ,Obj ,int , int , Obj *);  void evalitvr(VL ,Obj ,int , int , Obj *);
 void evalitvp(VL ,P ,int , int , P *);  void evalitvp(VL ,P ,int , int , P *);
 void evalitvv(VL ,V ,int , int , Obj *);  void evalitvv(VL ,V ,int , int , Obj *);
 //void evalitvins(PFINS ,int , int , Obj *);  
 extern void (*pi_itv_ft[])();  extern void (*pi_itv_ft[])();
 extern void (*e_itv_ft[])();  extern void (*e_itv_ft[])();
 extern void (*sin_itv_ft[])();  extern void (*sin_itv_ft[])();
Line 347  extern void (*exp_itv_ft[])();
Line 319  extern void (*exp_itv_ft[])();
 extern void (*log_itv_ft[])();  extern void (*log_itv_ft[])();
 extern void (*abs_itv_ft[])();  extern void (*abs_itv_ft[])();
 extern void (*pow_itv_ft[])();  extern void (*pow_itv_ft[])();
 //void devalr(VL ,Obj ,Obj *);  
 //void devalp(VL ,P ,P *);  
 //void devalv(VL ,V ,Obj *);  
 //void devalins(PFINS ,Obj *);  
   
 void Pitvbf_pi(NODE ,Obj *);  
 void Pitvbf_e(NODE ,Obj *);  
 void Pitvbf_sin(NODE ,Obj *);  
 void Pitvbf_cos(NODE ,Obj *);  
 void Pitvbf_tan(NODE ,Obj *);  
 void Pitvbf_asin(NODE ,Obj *);  
 void Pitvbf_acos(NODE ,Obj *);  
 void Pitvbf_atan(NODE ,Obj *);  
 void Pitvbf_sinh(NODE ,Obj *);  
 void Pitvbf_cosh(NODE ,Obj *);  
 void Pitvbf_tanh(NODE ,Obj *);  
 void Pitvbf_asinh(NODE ,Obj *);  
 void Pitvbf_acosh(NODE ,Obj *);  
 void Pitvbf_atanh(NODE ,Obj *);  
 void Pitvbf_exp(NODE ,Obj *);  
 void Pitvbf_log(NODE ,Obj *);  
 void Pitvbf_abs(NODE ,Obj *);  
 //void mp_factorial(NODE ,Num *);  
 void Pitvbf_pow(NODE ,Num *);  
   
 void Pitvd_pi(NODE ,Obj *);  
 void Pitvd_e(NODE ,Obj *);  
 void Pitvd_sin(NODE ,Obj *);  
 void Pitvd_cos(NODE ,Obj *);  
 void Pitvd_tan(NODE ,Obj *);  
 void Pitvd_asin(NODE ,Obj *);  
 void Pitvd_acos(NODE ,Obj *);  
 void Pitvd_atan(NODE ,Obj *);  
 void Pitvd_sinh(NODE ,Obj *);  
 void Pitvd_cosh(NODE ,Obj *);  
 void Pitvd_tanh(NODE ,Obj *);  
 void Pitvd_asinh(NODE ,Obj *);  
 void Pitvd_acosh(NODE ,Obj *);  
 void Pitvd_atanh(NODE ,Obj *);  
 void Pitvd_exp(NODE ,Obj *);  
 void Pitvd_log(NODE ,Obj *);  
 void Pitvd_abs(NODE ,Obj *);  
 void Pitvd_pow(NODE ,Num *);  
   
 #endif /* end of INTERVAL */  #endif /* end of INTERVAL */
 #endif /* end of _INTERVAL_H */  #endif /* end of _INTERVAL_H */
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>