changed representation of variables from OMV to OMString

Author: florian-rabe

poly_parsing.py

@@ -96,7 +96,7 @@ def parse_polynomial(poly_str):
             term = parse_term(tokens)
 
         var_list = list(var_list)
-        poly_ring = om.OMApplication(poly_ring_sym, [int_ring_sym] + [om.OMVariable(var_name) for var_name in list(var_list)])
+        poly_ring = om.OMApplication(poly_ring_sym, [int_ring_sym] + [om.OMString(var_name) for var_name in list(var_list)])
         om_terms = []
         for term in terms:
             args = []

singular_server.py

@@ -78,7 +78,7 @@ def __init__(self, data):
 def ring_ctor(ring_name, variables):
     command = "ring " + ring_name + " = 0, ("
     for v in variables:
-        command += v.name
+        command += v.string
         command += ","
     command = command[:-1]
     command += "), lp;"