Commits

Stefan Krah committed 750f44e

Remove trailing whitespace.

Comments (0)

Files changed (11)

Modules/_decimal/README.txt

 
 NOTE
 ====
- 
+
 decimal.so is not built from a static libmpdec.a since doing so led to
 failures on AIX (user report) and Windows (mixing static and dynamic CRTs
 causes locale problems and more).

Modules/_decimal/libmpdec/README.txt

     mulmod-ppro.txt      -> Proof for the x87 FPU modular multiplication
                             from umodarith.h.
     umodarith.lisp       -> ACL2 proofs for many functions from umodarith.h.
-  
+
 
 Library Author
 ==============

Modules/_decimal/libmpdec/io.c

     case 2:  EXTRACT_DIGIT(s, x, 10UL, dot);
     default: if (s == dot) *s++ = '.'; *s++ = '0' + (char)x;
     }
- 
+
     *s = '\0';
     return s;
 }
  * Not allowed, since _mpd_to_string() never returns this form:
  *
  *     3) [sign] '.' digits [exponent-part]
- * 
+ *
  * Input: result->data := original numeric string (ASCII)
  *        result->bytes := strlen(result->data)
  *        result->nchars := strlen(result->data)

Modules/_decimal/libmpdec/literature/bignum.txt

     y = fnt(b)                          # forward transform of b
     z = pairwise multiply x[i] and y[i]
     result = inv_fnt(z)                 # backward transform of z.
- 
+
 
 Extending the maximum transform length (Chinese Remainder Theorem):
 -------------------------------------------------------------------

Modules/_decimal/libmpdec/literature/matrix-transform.txt

    which means that all A[k] = A[m * C + n] are in the correct order.
 
 
--- 
+--
 
   [1] Joerg Arndt: "Matters Computational"
       http://www.jjj.de/fxt/

Modules/_decimal/libmpdec/literature/mulmod-ppro.txt

 
   apply Qlt_le_trans with (y := 1).
   qreduce ((2 # 1) ^ (-62) + (2 # 1) ^ (-126)).
-  
+
   rewrite Qlt_mult_by_z with (z := 85070591730234615865843651857942052864 # 18446744073709551617).
   ring_simplify.
 

Modules/_decimal/libmpdec/literature/six-step.txt

 
 
 
--- 
+--
 
   [1] David H. Bailey: FFTs in External or Hierarchical Memory
       http://crd.lbl.gov/~dhbailey/dhbpapers/

Modules/_decimal/libmpdec/literature/umodarith.lisp

 
 (defthmd dw-submod-correct
   (implies (and (< 0 m) (< m base)
-                (natp a) (< a m) 
+                (natp a) (< a m)
 		(< hi base) (< lo base)
                 (natp m) (natp base)
                 (natp hi) (natp lo))

Modules/_decimal/libmpdec/mpdecimal.c

                  *     ----------XX1234  ->  sdigits
                  *     ----------X1      ->  tiny-digits
                  *     |- prec -|
-                 *     
+                 *
                  *      OR
                  *
                  *   bdigits > prec AND
     mpd_qfinalize(result, ctx, status);
 }
 
-/* 
+/*
  * If the exponent is infinite and base equals one, the result is one
  * with a coefficient of length prec. Otherwise, result is undefined.
  * Return the value of the comparison against one.
         goto nanresult;
     }
 
-    /* Let x := _mpd_qreciprocal(b, prec) 
+    /* Let x := _mpd_qreciprocal(b, prec)
      * Then x is bounded by:
      *    1) 1/b - 10**(-prec - bdigits) < x < 1/b + 10**(-prec - bdigits)
      *    2) 1/b - 10**(-adigits - 4) < x < 1/b + 10**(-adigits - 4)

Modules/_decimal/libmpdec/umodarith.h

     return d;
 }
 
-/* 
+/*
  * Reduce double word modulo m.
  * Restrictions: m != 0
  * ACL2 proof: umodarith.lisp: section dw-reduce

Modules/_decimal/libmpdec/vcstdint.h

 // ISO C9x  compliant stdint.h for Microsoft Visual Studio
-// Based on ISO/IEC 9899:TC2 Committee draft (May 6, 2005) WG14/N1124 
-// 
+// Based on ISO/IEC 9899:TC2 Committee draft (May 6, 2005) WG14/N1124
+//
 //  Copyright (c) 2006-2008 Alexander Chemeris
-// 
+//
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are met:
-// 
+//
 //   1. Redistributions of source code must retain the above copyright notice,
 //      this list of conditions and the following disclaimer.
-// 
+//
 //   2. Redistributions in binary form must reproduce the above copyright
 //      notice, this list of conditions and the following disclaimer in the
 //      documentation and/or other materials provided with the distribution.
-// 
+//
 //   3. The name of the author may be used to endorse or promote products
 //      derived from this software without specific prior written permission.
-// 
+//
 // THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR IMPLIED
 // WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
 // MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
 // EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 // PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
-// OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, 
+// OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
 // WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
 // OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
 // ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-// 
+//
 ///////////////////////////////////////////////////////////////////////////////
 
 #ifndef _MSC_VER // [
 //   error C2733: second C linkage of overloaded function 'wmemchr' not allowed
 #if (_MSC_VER < 1300) && defined(__cplusplus)
    extern "C++" {
-#endif 
+#endif
 #     include <wchar.h>
 #if (_MSC_VER < 1300) && defined(__cplusplus)
    }