[ library(matrix_util) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
read_data(+File, ?List, -Length)
Read numbers from a file into List
Read numbers from a file into List until either the list is full or
the end of file has been reached. In the first case, not all numbers in the
file may be read, in the second, the list may not be fully instantiated.
The count of numbers that have actually been read is returned in Length.
list2rows / 4, list2cols / 4, transpose / 2