  
  
                             [1XFloating-point numbers[101X
  
  
                                 Version 0.7.4
  
  
                                   18/06/2016
  
  
                               Laurent Bartholdi
  
  
  
            [33X[0;10YMPFR- and CXSC-based library for GAP[133X
  
  
  
  Laurent Bartholdi
      Email:    [7Xmailto:laurent.bartholdi@gmail.com[107X
      Homepage: [7Xhttp://www.uni-math.gwdg.de/laurent/[107X
  
  
  Address: [33X[0;9YMathematisches Institut[133X
           [33X[0;9YBunsenstraße 3-5[133X
           [33X[0;9YD-37073 Göttingen[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-2016 by Laurent Bartholdi[133X
  
  
  -------------------------------------------------------
  [1XAcknowledgements[101X
  [33X[0;0YPart  of  this  work is 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.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
