WRITE -- write TOP objects

IO_UNIT = $\langle{\tt integer:1}\rangle$	21	IO unit for file operations
OBJECTS = $\langle{\tt string:0}\rangle$	''	variable names or constants
NUMBER_PLACES = $\langle{\tt integer:2}\rangle$	5 2	pre- and post-decimal point places
OUTPUT_DIRECTORY = $\langle{\tt string:1}\rangle$	''	output directory

Description:

This command writes the specified objects to a single line which is then written to a selected I/O stream. Each element of the OBJECTS vector is first tested if it is a name of a variable of any type. If it is the contents of that variable is written out. If it is not, the element is treated as a string constant. The first and second element of NUMBER_PLACES set the numbers of places before and after the decimal point, respectively, for real and integer objects.