Logging a Session

SetLogFile(F): MonStgElt

Overwrite: BoolElt                    Default: false

Set the log file to be the file specified by the string \(F\): all input and output will be sent to this log file as well as to the terminal. If a log file is already in use, it is closed and \(F\) is used instead. By using SetLogFile(F: Overwrite := true) the file \(F\) is emptied before input and output are written onto it. See also HasOutputFile.

UnsetLogFile()

Stop logging Magma’s output.

SetEchoInput(b): BoolElt

Send input from external files to standard output if \(b\) is true. If \(b\) is false then input from external files will not appear in standard output.