def tensor_save(tensor, directory, filename): NumpyIO.save_file(tensor, directory, filename)
def function_save(fun, directory, filename, suffix=None): if suffix is not None: filename = filename + "." + str(suffix) NumpyIO.save_file(fun.vector(), directory, filename)