X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/blobdiff_plain/2b26f2d79b3c5342a0daaba359cc00e13de2a9ca..22bab86c9df047bdd258283c6567821319ba7a6f:/mptext.c

diff --git a/mptext.c b/mptext.c
index f408b90..952ec88 100644
--- a/mptext.c
+++ b/mptext.c
@@ -1,6 +1,6 @@
 /* -*-c-*-
  *
- * $Id: mptext.c,v 1.5 2000/06/17 11:46:19 mdw Exp $
+ * $Id: mptext.c,v 1.7 2000/07/15 10:01:08 mdw Exp $
  *
  * Textual representation of multiprecision numbers
  *
@@ -30,6 +30,12 @@
 /*----- Revision history --------------------------------------------------* 
  *
  * $Log: mptext.c,v $
+ * Revision 1.7  2000/07/15 10:01:08  mdw
+ * Bug fix in binary input.
+ *
+ * Revision 1.6  2000/06/25 12:58:23  mdw
+ * Fix the derivation of `depth' commentary.
+ *
  * Revision 1.5  2000/06/17 11:46:19  mdw
  * New and much faster stack-based algorithm for reading integers.  Support
  * reading and writing binary integers in bases between 2 and 256.
@@ -64,12 +70,13 @@
  *
  * This is the number of bits in a @size_t@ object.  Why? 
  *
- * Just to convince yourself that this is correct: let @b = MPW_MAX + 1@.
- * Then the largest possible @mp@ is %$M - 1$% where %$M = b^Z$%.  Let %$r$%
- * be a radix to read or write.  Since the recursion squares the radix at
- * each step, the highest number reached by the recursion is %$d$%, where:
+ * To see this, let %$b = \mathit{MPW\_MAX} + 1$% and let %$Z$% be the
+ * largest @size_t@ value.  Then the largest possible @mp@ is %$M - 1$% where
+ * %$M = b^Z$%.  Let %$r$% be a radix to read or write.  Since the recursion
+ * squares the radix at each step, the highest number reached by the
+ * recursion is %$d$%, where:
  *
- *   %$r^(2^d) = b^Z$%.
+ *   %$r^{2^d} = b^Z$%.
  *
  * Solving gives that %$d = \lg \log_r b^Z$%.  If %$r = 2$%, this is maximum,
  * so choosing %$d = \lg \lg b^Z = \lg (Z \lg b) = \lg Z + \lg \lg b$%.
@@ -162,7 +169,7 @@ mp *mp_read(mp *m, int radix, const mptext_ops *ops, void *p)
 
   /* --- Handle an initial sign --- */
 
-  if (ch == '-') {
+  if (radix >= 0 && ch == '-') {
     f |= f_neg;
     ch = ops->get(p);
     while (isspace(ch))
@@ -199,6 +206,9 @@ mp *mp_read(mp *m, int radix, const mptext_ops *ops, void *p)
   for (;; ch = ops->get(p)) {
     int x;
 
+    if (ch < 0)
+      break;
+
     /* --- An underscore indicates a numbered base --- */
 
     if (ch == '_' && r > 0 && r <= 36) {