]> www.ginac.de Git - cln.git/blobdiff - include/cln/SV_real.h
Replace CL_REQUIRE/CL_PROVIDE(cl_I_ring) with portable code.
[cln.git] / include / cln / SV_real.h
index a7d92368e7ffa1a4e2e80cf7ec87f2babffbf0af..d297022e7b44c93f0daaeb4107238dc49978521d 100644 (file)
@@ -19,7 +19,7 @@ public:
        // Constructors.
        cl_SV_R () : cl_SV<cl_R,cl_SV_N> ((cl_heap_SV_R*) (cl_heap_SV_number*) cl_null_SV_number) {};
        cl_SV_R (const cl_SV_R&);
-       explicit cl_SV_R (uintL len) : cl_SV<cl_R,cl_SV_N> ((cl_heap_SV_R*) cl_make_heap_SV_number(len)) {};
+       explicit cl_SV_R (uintC len) : cl_SV<cl_R,cl_SV_N> ((cl_heap_SV_R*) cl_make_heap_SV_number(len)) {};
        // Assignment operators.
        cl_SV_R& operator= (const cl_SV_R&);
        // Private pointer manipulations.
@@ -36,14 +36,14 @@ inline const cl_SV_R copy (const cl_SV_R& vector)
 }
 
 // Output.
-inline void fprint (cl_ostream stream, const cl_SV_R& x)
+inline void fprint (std::ostream& stream, const cl_SV_R& x)
 {
        extern cl_print_flags default_print_flags;
-       extern void print_vector (cl_ostream stream, const cl_print_flags& flags, void (* fun) (cl_ostream, const cl_print_flags&, const cl_number&), const cl_SV_number& vector);
-       extern void print_real (cl_ostream stream, const cl_print_flags& flags, const cl_R& z);
+       extern void print_vector (std::ostream& stream, const cl_print_flags& flags, void (* fun) (std::ostream&, const cl_print_flags&, const cl_number&), const cl_SV_number& vector);
+       extern void print_real (std::ostream& stream, const cl_print_flags& flags, const cl_R& z);
        print_vector(stream, default_print_flags,
-                    (void (*) (cl_ostream, const cl_print_flags&, const cl_number&))
-                    (void (*) (cl_ostream, const cl_print_flags&, const cl_R&))
+                    (void (*) (std::ostream&, const cl_print_flags&, const cl_number&))
+                    (void (*) (std::ostream&, const cl_print_flags&, const cl_R&))
                     &print_real,
                     x);
 }