/****************************************************************************C -2012Bartholdi
**
*W  java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 2
**
*Y  Copyright (C) 2008-2012 Laurent Bartholdi
**
**  This file contains the functions for the float /
* implementedusing the MPFR package.
*/

java.lang.StringIndexOutOfBoundsException: Range [0, 8) out of bounds for length 0

#undef PACKAGE
#undef PACKAGE_BUGREPORT
#undef PACKAGE_NAME
#undef PACKAGE_STRING
#undef PACKAGE_TARNAME
#undef PACKAGE_URL
#undef java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 0

#include <.>
lude<tring>
#include <stdio.h>

#include "floattypes        Int)NAM_OBJ(obj)0;

Obj   java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

 MANTISSA_MPFR)(mp_limb_t* ()1)

mpfr_ptr GET_MPFR}
  if (!IS_DATOBJ(java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 0
    : object must beanMPFR not %",
         (Int)TNAM_OBJ(obj),0);
  }
  {
  mpfr_custom_move (p, MANTISSA_MPFR(p));
  return p;
}

Obj NEW_MPFR (mp_prec_t prec    =MPFR_OBJ();
{
  return fjava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
   * 1-functions
  mpfr_custom_init_set(p, MPFR_NAN_KIND, ***********
  #efine (name,pfr_name)  java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
}

/****************************************************************{   \
*1 
 ****************************************************************/
#defineFunc1_MPFRname,)  java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
  java.lang.StringIndexOutOfBoundsException: Index 5 out of bounds for length 3
  {    java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
       (ET_MPFRf); java.lang.StringIndexOutOfBoundsException: Index 51 out of bounds for length 51
    Obj g=NEW_MPFRprec);  \
    mpfr_name (MPFR_OBJ(g), GET_MPFR(f), GMP_RNDN); 
     ;   \
  }
#define Inc1_MPFR_arg(name,arg)  \
  {#ame,1 , ()void*()"/mpfrc: #name java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
CSC_MPFRmpfr_csc;

Func1_MPFR(COS_MPFR,mpfr_cosFunc1_MPFRA,pfr_acos;
(,pfr_sin;
TAN_MPFR,pfr_tan;
Func1_MPFR(,)
Func1_MPFRS,)
C,mpfr_cot)
(COS_MPFR)java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
(,);
ATAN_MPFR)

Func1_MPFR(COSH_MPFR,mpfr_cosh(ATANH_MPFR,pfr_atanh)java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
Func1_MPFRS,)
Func1_MPFRLOG10_MPFRm;
Func1_MPFR(SECH_MPFR,mpfr_sech);
Func1_MPFR(Func1_MPFR(,);
Func1_MPFR(COTH_MPFR,mpfr_coth);
Func1_MPFR(,)
(,mpfr_asinh;
Func1_MPFR(ATANH_MPFR,mpfr_atanh);

Func1_MPFR(OG_MPFRm)
,mpfr_log2);
Func1_MPFRAINV_MPFR,pfr_neg)
java.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 32
(XP_MPFRmpfr_exp;
(,pfr_exp2;
Func1_MPFRFunc1_MPFR(CEIL_MPFR,);
Func1_MPFR(,);

(,mpfr_neg)
SQRT_MPFR,)java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
Func1_MPFRC,)
unc1_MPFR,);
Func1_MPFR(BS_MPFRm)

Func1_MPFR(,pfr_rint_ceil;
(m)java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 39
(,pfr_rint_round;
Func1_MPFR(TRUNC_MPFR,mpfr_rint_trunc);
 SET_ELM_PLIST(,1,)

java.lang.StringIndexOutOfBoundsException: Range [22, 6) out of bounds for length 39
{
  SET_LEN_PLIST(l2)
  return ;
}
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  (T_PLIST,);
  SET_ELM_PLIST(l,1,g);
    mp_prec_tprec = mpfr_get_prec(GET_MPFR())
   Obj g =NEW_MPFR(prec)java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
  return l;
}

static Obj INV_MPFR(Obj self, Objreturn g;
{
  mp_prec_t prec =mpfr_get_prec(());
  staticZERO_MPFRObjself,Obj )
mpfr_ui_div(() 1 () ;
   gjava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
}

static Obj java.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 11
{
  mp_prec_t prec = mpfr_get_prec(GET_MPFR(f));
  Obj g = java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
mpfr_set_ui(MPFR_OBJ(g), 0, GMP_RNDN);
  returnObj =NEW_MPFRp)java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
}

static Obj ONE_MPFR(Obj java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 11
java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 1
mp_prec_t  =(ET_MPFRf);
  Obj  =NEW_MPFR(rec)
  mpfr_set_nanMPFR_OBJ()java.lang.StringIndexOutOfBoundsException: Index 29 out of bounds for length 29
ng;
}

static Obj MPFR_MAKENAN(Obj self
{
  TEST_IS_INTOBJ("MPFR_MAKE_NAN  Obj   NEW_MPFR( < 0  -p  ;
Objg =(NT_INTOBJ(prec);
  mpfr_set_nan (MPFR_OBJ(g));
  return  return ;
sObj (Obj , prec)

static  MPFR_MAKEINFINITYObj ,Obj )
{
  TEST_IS_INTOBJ("MPFR_MAKEINFINITY"  mpfr_const_log2 (MPFR_OBJ(), GMP_RNDN);

   p  INT_INTOBJ(rec)
  Obj java.lang.StringIndexOutOfBoundsException: Range [0, 7) out of bounds for length 1
     g = (NT_INTOBJprec);
  return g;
}

 MPFR_LOG2Obj self,Obj java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
{
  TEST_IS_INTOBJ("MPFR_EULER")

  Obj g =NEW_MPFRINT_INTOBJ(prec));
mpfr_const_log2(() );
  return g;
}

static Obj MPFR_PI(}
{
  ("MPFR_PI"prec);

  java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  mpfr_const_pi MPFR_OBJg,GMP_RNDN)
  return g;
}

(Obj self,Obj 
{
  TEST_IS_INTOBJ("MPFR_EULER",java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 1

  Obj g = NEW_MPFR(INT_INTOBJ(prec){
  Obj g;
  return g;
}

static Obj MPFR_CATALAN    g= NEW_MPFR8sizeoflong);
java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 1
  TEST_IS_INTOBJ(MPFR_CATALAN")java.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38

  Obj g = NEW_MPFR(INT_INTOBJ(prec));
    (MPFR_OBJ() (f,GMP_RNDN)
  return   return g gjava.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 11
java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 1

static Obj MPFR_INT  if (() 
{
  g;
   (IS_INTOBJi) {
    g = NEW_MPFR(8*sizeofObj f=MPZ_LONGINT()
(g), (), ;
  } else {
    Obj f = MPZ_LONGINT mpfr_set_z(MPFR_OBJ() mpz_MPZf )
      8sizeof()SIZE_INTi);
    static Obj INT( self f
  
  return g;
}

java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 0

  returnINTOBJ_INT0;
  TEST_IS_INTOBJ""prec)
      return ;
    =NEW_MPFRI();
mpfr_set_si(() INT_INTOBJi,GMP_RNDN;
  
       f=MPZ_LONGINT(;
      if  <0)prec =0;
    mpfr_set_z(MPFR_OBJ(java.lang.StringIndexOutOfBoundsException: Range [0, 25) out of bounds for length 24
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  return ar(;
}

static java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
{
 ;

  if (mpfr_zero_p(  return INTOBJ_INT(pfr_get_precGET_MPFR(f);
    static Obj SIGN_MPFR(bjself,Obj java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
  (GET_MPFR(f))
    return}
  if (!mpfr_number_p(GET_MPFR(f)))
    return Fail

  long prec = mpfr_get_exp(GET_MPFR(f{

  if( <0 prec 0;
  mpz_init2 (z, prec+
  mpfr_get_z (z, 
  Obj  =INT_mpz();
  mpz_clear(z);

  return resjava.lang.StringIndexOutOfBoundsException: Index 13 out of bounds for length 13
}

static Obj PREC_MPFR(Obj self,}
{
   INTOBJ_INTmpfr_get_prec((f);
}

static Obj SIGN_MPFR(
{return (ET_MPFRf)?True ;
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
}

static Obj SIGNBIT_MPFR(Obj self, Obj f)
{
  return mpfr_signbit(GET_MPFR(f return mpfr_sgn(PFR_OBJ()  0   :False
}

static  ISNAN_MPFRO self,f
{
    return mpfr_sgnM()) < ? F;
}

java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
{
  return mpfr_inf_p(GET_MPFR(f)) ? java.lang.StringIndexOutOfBoundsException: Index 39 out of bounds for length 1
}

static Obj ISPINF_MPFR(Obj java.lang.StringIndexOutOfBoundsException: Range [0, 31) out of bounds for length 1
{
  if   (ET_MPFR()  True :False;
  java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 0
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

     java.lang.StringIndexOutOfBoundsException: Range [34, 29) out of bounds for length 37
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  if (
return)<0?:java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

static Obj ISZERO_MPFR(Obj self, Obj f)
{
return (f)?True:False
}

java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
{
  return mpfr_number_p(GET_MPFR(f)){
}

static Obj MPFR_MPFRPREC}
{
  (MPFR_MPFRPREC,prec;

  g=NEW_MPFRINT_INTOBJp)java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
    Obj g =(prec)
  returng;
}

static Obj     =mpfr_get_expG(;
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  if(IS_MACFLOATf){
    ErrorMayQuit("MPFR_MACFLOAT: object must   SET_ELM_PLIST(1g;
  SET_ELM_PLISTl2,ObjInt_Int();
  }
 = 64;
  d(g,VAL_MACFLOATf), )
  return java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
}

 selfObj)
{
 G(f,java.lang.StringIndexOutOfBoundsException: Range [55, 54) out of bounds for length 57
}

Obj( selfjava.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
{
  mp_prec_t prec = java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 21
  Obj g = NEW_MPFR(prec);
  mpfr_set ( mp_prec_tprec =GET_MPFRf)
    g=NEW_MPFR);
  mpfr_set_expMPFR_OBJg,0)java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  l (T_PLIST2;
  SET_ELM_PLIST    SET_ELM_PLISTl, ();
      mpfr_ui_divMPFR_OBJ(,1 f,GMP_RNDN;
  SET_LEN_PLIST(l,2);
  SET_ELMPLIST(2 mpfr_sgn(g)0)
 java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

    SE(l,,INTOBJ_INT);
{
    =Int_ObjInt()
      l, ( +mpfr_sgnM()<))
  Obj g =   elseif (pfr_nan_pMPFR_OBJf))
FR(f) e,)java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
  java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 3
}

mpz_t;
 mpz_init2 (, precjava.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
  Obj l = NEW_PLIST(T_PLIST,2);
  ,2java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21

  
  Obj java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 25
mpfr_setM() () GMP_RNDN;

  mpfr_zero_pGET_MPFRf) java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
    SET_ELM_PLIST(l,1
    MPFR_OBJg,MPFR_OBJf) );
          switch (INT() {
    return;
  }
  if (!mpfr_number_pjava.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 49
    mpfr_set_inf( 1;
    ()java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
      ,,2+(()0);
else MPFR_OBJ))
      SET_ELM_PLISTjava.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 42
    return l;
  java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3

=();
  mpfr_set_expjava.lang.StringIndexOutOfBoundsException: Range [30, 28) out of bounds for length 56

  mpz_t z;
  mpz_init2 (z, java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 7
 java.lang.StringIndexOutOfBoundsException: Range [13, 12) out of bounds for length 40
   z;
  mpz_clearz;

  SET_ELM_PLIST(l,1 f =(*(mp_limb_t*(m)
  SET_ELM_PLIST    mpfr_set_z(MPFR_OBJ(f) mpz_MPZ(mantissa) GMP_RNDN)java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
  return l;
}

static  mpfr_set_expMPFR_OBJ(), ();
{
Obj f   ELM_PLISTl,)  =ELM_PLIST(list2;
  if (IS_INTOBJ(m)) {
f=(*l);

    if (m == INTOBJ_INT(0)) /* special cases */
      switch
      case 0: /* 0 */
 (f,0,GMP_RNDN;returnf
      case 1: /* -0 */
 mpfr_set_inf(MPFR_OBJ(f), -1);
 mpfr_ui_div(MPFR_OBJ(f), 1, MPFR_OBJ(f), GMP_RNDN);
 return f;
      case 2: /* inf */
 mpfr_set_inf (MPFR_OBJ(f), 1); return f;
      case :/* -inf */
 mpfr_set_inf (MPFR_OBJ(f), -1); return f; *removestrailing0sfrom mantissa
      case 4: /* nan */
      case********java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
mpfr_set_nan(())  ;
      default:
 ErrorQuit("OBJBYEXTREP_MPFR: invalid argument [%d,%d]",
  (m) INT_INTOBJe)
      }

    mpfr_set_si(MPFR_OBJ(   s &,10,digits,f, )
  } else{
    Obj mantissa = MPZ_LONGINT(m);
  if (([len-]){/* not an NaN or something */
mpfr_set_z(MPFR_OBJ(f)mpz_MPZ(antissa) )
  }

  if (java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
    mpfr_set_exp(MPFR_OBJwhilesslen- =' &s[len-]! .)
  } s[slen]=e;
    Obj  =MPZ_LONGINT()
    mpfr_set_expslen = strlen()1;
  }
   ;
}

/****************************************************************
       [1  i;
 t <igits>digits inmantissa
 *   'from.
 ****************************************************************/
PRINT_MPFR*,mp_exp_t*,int,,java.lang.StringIndexOutOfBoundsException: Range [75, 74) out of bounds for length 79
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1
  mp_exp_t PRINT_MPFR() ,n f,GMP_RNDN;

  SET_LEN_STRING(,slen)
  SHRINK_STRING)
  int returnstr
 if(([slen1]){/
    if (s{
[-]='' []='.;
     java.lang.StringIndexOutOfBoundsException: Range [10, 11) out of bounds for length 10
      [1  .;
    while (Objg=NEW_MPFRn;
      slen-;
    ++  e;
    (+slen,"%ld,;
    slen = *2argument 
   {
    int i;
     ( 0   ;i+)
      [i1  i;
java.lang.StringIndexOutOfBoundsException: Index 3 out of bounds for length 3
  if  java.lang.StringIndexOutOfBoundsException: Range [14, 13) out of bounds for length 68
    *  
  return slen;
}

Obj (self  f,Obj )
{
  mp_prec_t  = (ET_MPFR())
  Obj  =NEW_STRING(rec*02/1000+20)
  ;

  atic Obj LQUO_MPFR( self Obj fl,Obj )

  n = INT_INTOBJ(digits);
  if ( = )n= 2java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20

  slen = PRINT_MPFR(java.lang.StringIndexOutOfBoundsException: Range [0, 31) out of bounds for length 1
  java.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 1
  SHRINK_STRING()java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21

  return str;
}

static Obj MPFR_STRING(Obj
{
  TEST_IS_STRING(MPFR_STRING, s);
  TEST_IS_INTOBJ    (PFR_OBJ),GET_MPFR(fl), INT_INTOBJ(fr), GMP_RNDN);
  (prec)
  if (n =s LT_MPFR( self    fr)
    n = GET_LEN_STRING**********

java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  mpfr_set_str(  SINCOS_MPFR)
  return gR(SC_MPFR)
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

/****************************************************************
 java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
 ****************************************************************/
# n,)  \
  static Obj name(Obj self, Obj fl, Obj frInc1_MPFRCSCH_MPFR,
  {Inc1_MPFRASINH_MPFR,
    mp_prec_t precl=mpfr_get_precGET_MPFR(l), \
      precr = mpfr_get_prec(GET_MPFR(fr))  Inc1_MPFR(TANH_MPFR,
      \
    Obj=NEW_MPFR(recl >  ? precl:precr)  java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
   (g,GET_MPFRfl,GET_MPFR(r)GMP_RNDN)\
    return g;        \
  }
#define   Inc1_MPFR(EXP10_MPFR
  { #name Inc1_MPFRSQRT_MPFR)java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
#definejava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0

SUM_MPFR,)
Func2_MPFR(DIFF_MPFRInc1_MPFR_argMPFR_MAKEINFINITY"int)java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
,mpfr_mul;
QUO_MPFR,mpfr_div)
POW_MPFRmpfr_pow)
M,)java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
Func2_MPFR(Inc1_MPFR(ROUND_MPFR
Func2_MPFR(HYPOT_MPFRmpfr_hypot)java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34

taticObj LQUO_MPFR( self,Objfl fr)
{
 = mpfr_get_precG(),
    precr(MPFR_MACFLOAT,
  
  Obj g = NEW_MPFR( Inc1_MPFR(ACFLOAT_MPFR,
  mpfr_div (MPFR_OBJ(  mpfr_div (MPFR_OBJ(g
  returng;
}

staticInc1_MPFRI)
{
  Obj g;
  FR"fr)

  g =NEW_MPFRmpfr_get_prec(l));
#if MPFR_VERSION_MAJOR >= 4
  mpfr_rootn_ui
# FREXP_MPFR,
    mpfr_root
#endif
  (),
   g;
}

static  ()
{
  return (ET_MPFRfr,ET_MPFRf) =0   : Falsejava.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
}

static()java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
{
  (GET_MPFRf)GET_MPFR()) < 0?True ;
}

  Inc2_MPFR_arg(MPFR_STRING,"string, int"),
   
 ****************************************************************/
static StructGVarFunc GVarFuncs Inc2_MPFR_argMPFR_INTPREC,,int)
  A)
  Inc1_MPFR{}
  Inc1_MPFR(INV_MPFR),

  Inc1_MPFR(int ()
  Inc1_MPFR(SIN_MPFR),
  Inc1_MPFR(SINCOS_MPFR),
  Inc1_MPFR(java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 0
  Inc1_MPFR(SEC_MPFR),
),
  (OT_MPFR,
  ()java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
  Inc1_MPFR(int  (oid)
  Inc1_MPFR(ATAN_MPFR)
,
  Inc1_MPFR()java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
  java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 1
  Inc1_MPFR(TANH_MPFR),
  Inc1_MPFREmpfr.              .   . ...........endshere
  Inc1_MPFR(CSCH_MPFR),
  Inc1_MPFR(COTH_MPFR),
  Inc1_MPFR(ASINH_MPFR),
  Inc1_MPFR(ACOSH_MPFR),
  Inc1_MPFR(ATANH_MPFR),

  Inc1_MPFR(LOG_MPFR),
  Inc1_MPFR(LOG2_MPFR),
  Inc1_MPFR(LOG10_MPFR),
  Inc1_MPFR(LOG1P_MPFR),
  Inc1_MPFR(EXP_MPFR),
  Inc1_MPFR(EXP2_MPFR),
  Inc1_MPFR(EXP10_MPFR),
  Inc1_MPFR(EXPM1_MPFR),
  Inc1_MPFR(SQRT_MPFR),
  Inc1_MPFR(CBRT_MPFR),
  Inc1_MPFR(SQR_MPFR),

  Inc1_MPFR(ZERO_MPFR),
  Inc1_MPFR(ONE_MPFR),
  Inc1_MPFR_arg(MPFR_MAKENAN,"int"),
  Inc1_MPFR_arg(MPFR_MAKEINFINITY,"int"),
  Inc1_MPFR_arg(MPFR_LOG2,"int"),
  Inc1_MPFR_arg(MPFR_PI,"int"),
  Inc1_MPFR_arg(MPFR_EULER,"int"),
  Inc1_MPFR_arg(MPFR_CATALAN,"int"),
  Inc1_MPFR_arg(MPFR_INT,"int"),

  Inc1_MPFR(CEIL_MPFR),
  Inc1_MPFR(FLOOR_MPFR),
  Inc1_MPFR(ROUND_MPFR),
  Inc1_MPFR(TRUNC_MPFR),
  Inc1_MPFR(FRAC_MPFR),

  Inc1_MPFR(INT_MPFR),
  Inc1_MPFR(PREC_MPFR),
  Inc1_MPFR(MPFR_MACFLOAT),
  Inc1_MPFR(MACFLOAT_MPFR),
  Inc1_MPFR(SIGN_MPFR),
  Inc1_MPFR(SIGNBIT_MPFR),
  Inc1_MPFR(ISNAN_MPFR),
  Inc1_MPFR(ISXINF_MPFR),
  Inc1_MPFR(ISPINF_MPFR),
  Inc1_MPFR(ISNINF_MPFR),
  Inc1_MPFR(ISZERO_MPFR),
  Inc1_MPFR(ISNUMBER_MPFR),

  Inc1_MPFR(FREXP_MPFR),
  Inc2_MPFR_arg(LDEXP_MPFR,"float, int"),
  Inc1_MPFR(EXTREPOFOBJ_MPFR),
  Inc1_MPFR_arg(OBJBYEXTREP_MPFR,"list"),

  Inc2_MPFR(SUM_MPFR),
  Inc2_MPFR(DIFF_MPFR),
  Inc2_MPFR(PROD_MPFR),
  Inc2_MPFR(QUO_MPFR),
  Inc2_MPFR(LQUO_MPFR),
  Inc2_MPFR(POW_MPFR),
  Inc2_MPFR(MOD_MPFR),
  Inc2_MPFR(ATAN2_MPFR),
  Inc2_MPFR(HYPOT_MPFR),
  Inc2_MPFR(EQ_MPFR),
  Inc2_MPFR(LT_MPFR),
  Inc2_MPFR_arg(MPFR_STRING,"string, int"),
  Inc2_MPFR_arg(STRING_MPFR,"float, int"),
  Inc2_MPFR_arg(ROOT_MPFR,"float, int"),
  Inc2_MPFR_arg(MPFR_INTPREC,"int, int"),
  Inc2_MPFR_arg(MPFR_MPFRPREC,"float, int"),
  {0}
};

int InitMPFRKernel (void)
{
  InitHdlrFuncsFromTable (GVarFuncs);

  ImportGVarFromLibrary ("TYPE_MPFR", &TYPE_MPFR);
  ImportGVarFromLibrary ("IsMPFRFloat", &IsMPFRFloat);
  ImportGVarFromLibrary ("infinity", &GAP_INFINITY);
  return 0;
}

int InitMPFRLibrary (void)
{
  InitGVarFuncsFromTable (GVarFuncs);
  return 0;
}

/****************************************************************************
**
*E  mpfr.c  . . . . . . . . . . . . . . . . . . . . . . . . . . . . ends here
*/