Changeset a527a41 in git for libpolys/coeffs/numbers.cc

Timestamp:

Jul 9, 2018, 2:39:53 PM (5 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2fa36c576e6a4ddbb1093b43c7f8e9835e17e52a')

Children:

43fa86cc32c42433e618d6c2978915bf8a580e66

Parents:

ac754db5ea554de8a6115ff7e914fb77dc57c434

Message:

move *Eati/*EatLong to numbers.cc

File:

• libpolys/coeffs/numbers.cc (modified) (1 diff)

libpolys/coeffs/numbers.cc

@@ -598 +598 @@
 CanonicalForm n_convSingNFactoryN( number n, BOOLEAN setChar, const coeffs r )
 { STATISTIC(n_convSingNFactoryN); assume(r != NULL); assume(r->convSingNFactoryN != NULL); return r->convSingNFactoryN(n, setChar, r); }
+
+
+char* nEati(char *s, int *i, int m)
+{
+
+  if (((*s) >= '0') && ((*s) <= '9'))
+  {
+    unsigned long ii=0L;
+    do
+    {
+      ii *= 10;
+      ii += *s++ - '0';
+      if ((m!=0) && (ii>m)) ii=ii%m;
+    }
+    while (((*s) >= '0') && ((*s) <= '9'));
+    if ((m!=0) && (ii>m)) ii=ii%m;
+    *i=(int)ii;
+  }
+  else (*i) = 1;
+  return s;
+}
+
+/// extracts a long integer from s, returns the rest
+char * nEatLong(char *s, mpz_ptr i)
+{
+  const char * start=s;
+
+  while (*s >= '0' && *s <= '9') s++;
+  if (*s=='\0')
+  {
+    mpz_set_str(i,start,10);
+  }
+  else
+  {
+    char c=*s;
+    *s='\0';
+    mpz_set_str(i,start,10);
+    *s=c;
+  }
+  return s;
+}
+