  
  
                             [1XFloating-point numbers[101X
  
  
                                 Version 1.0.3
  
  
                                   15/02/2023
  
  
                               Laurent Bartholdi
  
  
  
            [33X[0;10YIntegration of mpfr, mpfi, mpc, fplll and cxsc in GAP[133X
  
  
  
  Laurent Bartholdi
      Email:    [7Xmailto:laurent.bartholdi@gmail.com[107X
      Homepage: [7Xhttps://www.math.uni-sb.de/ag/bartholdi/[107X
  
  
  Address: [33X[0;9YFR Mathematik[133X
           [33X[0;9YD-66041 Saarbrücken[133X
           [33X[0;9YGermany[133X
  
  
  -------------------------------------------------------
  [1XAbstract[101X
  [33X[0;0YThis   document  describes  the  package  [5XFloat[105X,  which  implements  in  [5XGAP[105X
  arbitrary-precision floating-point numbers.[133X
  
  [33X[0;0YFor comments or questions on [5XFloat[105X please contact the author.[133X
  
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0Y© 2011-2021 by Laurent Bartholdi[133X
  
  
  -------------------------------------------------------
  [1XAcknowledgements[101X
  [33X[0;0YPart  of  this work was supported by the "Swiss National Fund for Scientific
  Research  (SNF)",  the  "German  National Science Foundation (DFG)", and the
  Courant  Research  Centre  "Higher  Order  Structures"  of the University of
  Göttingen.[133X
  
  
  -------------------------------------------------------
  
  
  [1XContents (FLOAT)[101X
  
  1 [33X[0;0YLicensing[133X
  2 [33X[0;0YFloat package[133X
    2.1 [33X[0;0YA sample run[133X
  3 [33X[0;0YPolynomials[133X
    3.1 [33X[0;0YThe Floats pseudo-field[133X
      3.1-1 FLOAT_PSEUDOFIELD
    3.2 [33X[0;0YRoots of polynomials[133X
    3.3 [33X[0;0YFinding integer relations[133X
      3.3-1 PSLQ
    3.4 [33X[0;0YLLL lattice reduction[133X
  4 [33X[0;0YImplemented packages[133X
    4.1 [33X[0;0YMPFR[133X
      4.1-1 IsMPFRFloat
    4.2 [33X[0;0YMPFI[133X
      4.2-1 IsMPFIFloat
    4.3 [33X[0;0YMPC[133X
      4.3-1 IsMPCFloat
    4.4 [33X[0;0YCXSC[133X
      4.4-1 IsCXSCReal
    4.5 [33X[0;0YFPLLL[133X
      4.5-1 FPLLLReducedBasis
      4.5-2 FPLLLShortestVector
  
  
  [32X
