Fixed export_as_string routine and added functionality for relabeling.
Fixed functionality for relabeling of cosets for groups.
Removed import of the RealNumber type since it caused some conflicts with the function RealNumber
Removed import of the RealNumber type since it caused some conflicts with the function RealNumber
Fixed typo