10.2 Operations applicable to All Streams

In order to preserve system resources and to flush output streams every stream should be closed as soon as it is no longer used using CloseStream.

It is an error to try to read characters from or write characters to a closed stream. Closing a stream tells the GAP kernel and/or the operating system kernel that the file is no longer needed. This may be necessary because the GAP kernel and/or the operating system may impose a limit on how many streams may be open simultaneously.

[Top] [Previous] [Up] [Next] [Index]