write_funct_1d — Write a function to a file.
write_funct_1d writes the contents of
to a file. The data is written in an ASCII format. Therefore, the file can
be exchanged between different architectures (see also
Tuple / String Operations).
The data can be read by the operator
There is no specific extension for this kind of file.
→(real / integer)
Function to be written.
Name of the file to be written.
If the parameters are correct the operator
returns the value TRUE. Otherwise an exception is raised.