Dear Gap-Forum
I want to make GAP print output to a file with more than 80 characters
per line (I want to print this file with a small size font). Is there
any way of doing this - maybe some variable controlling this feature -
without executing GAP with the option -x?
(I just want to change the length of the line in the output file, not on
my terminal.)
Thank you,
Gustavo Fernandez Alcober