1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
Index: Integer.h
===================================================================
RCS file: /home/imocvs/cdd+/Integer.h,v
retrieving revision 1.1.1.1
diff -u -p -r1.1.1.1 Integer.h
--- Integer.h 2008/12/15 01:19:52 1.1.1.1
+++ Integer.h 2008/12/15 01:24:04
@@ -23,6 +23,7 @@
#include <gmp_init.h>
#include <cctype>
#include <limits>
+#include <climits>
class Integer; class Rational;
Index: Rational.cc
===================================================================
RCS file: /home/imocvs/cdd+/Rational.cc,v
retrieving revision 1.1.1.1
diff -u -p -r1.1.1.1 Rational.cc
--- Rational.cc 2008/12/15 01:19:52 1.1.1.1
+++ Rational.cc 2008/12/15 01:25:14
@@ -17,6 +17,7 @@
#include <cctype>
#include "Rational.h"
+#include <cstring>
Rational& Rational::set(const char* s) throw (gmp_error)
{
Index: Rational.h
===================================================================
RCS file: /home/imocvs/cdd+/Rational.h,v
retrieving revision 1.1.1.1
diff -u -p -r1.1.1.1 Rational.h
--- Rational.h 2008/12/15 01:19:52 1.1.1.1
+++ Rational.h 2008/12/15 01:27:08
@@ -17,6 +17,7 @@
#define _POLYMAKE_GMP_RATIONAL_H "$Project: polymake $$Id$
#include <Integer.h>
+#include <cstring>
#if __GNU_MP_VERSION < 4
#define _tmp_little_Integer(x) \
@@ -1178,7 +1179,7 @@ std::basic_ostream<char, Traits>& operat
Integer::little_buffer buf(s);
numerator(a).putstr(os.flags(), buf);
if (show_den) {
- char *den_buf=buf+strlen(buf);
+ char *den_buf=buf+std::strlen(buf);
*den_buf++ = '/';
denominator(a).putstr(os.flags(), den_buf);
}
Index: gmp_init.cc
===================================================================
RCS file: /home/imocvs/cdd+/gmp_init.cc,v
retrieving revision 1.1.1.1
diff -u -p -r1.1.1.1 gmp_init.cc
--- gmp_init.cc 2008/12/15 01:19:52 1.1.1.1
+++ gmp_init.cc 2008/12/15 01:23:45
@@ -16,6 +16,7 @@
#ident "$Project: polymake $$Id$
#include <memory>
+#include <cstring>
#include "gmp_init.h"
#if defined(__GNUC__)
|