Fixed interactive export_name to be compatible with file system naming, now interactive mode can generated equations