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