Applied print_csrc patch [Grabner/Sheplyakov]

diff --git a/ginac/idx.cpp b/ginac/idx.cpp
index 6988d80e8cb43df811a966cae41f2455d9945325..3d363e0c88be96043b5bfa1595153375c2ec88a7 100644 (file)
--- a/ginac/idx.cpp
+++ b/ginac/idx.cpp
@@ -150,8 +150,17 @@ void idx::print_index(const print_context & c, unsigned level) const
 
 void idx::do_print(const print_context & c, unsigned level) const
 {
-       c.s << ".";
-       print_index(c, level);
+       if (is_a<print_csrc_double>(c)) {
+               c.s << "[";
+               if (value.info(info_flags::integer))
+                       c.s << ex_to<numeric>(value).to_int();
+               else
+                       value.print(c);
+               c.s << "]";
+       } else {
+               c.s << ".";
+               print_index(c, level);
+       }
 }
 
 void idx::do_print_latex(const print_latex & c, unsigned level) const