Gustavo Fernandez Alcober asked:
> 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.)
sets the screen size to y lines of length x each. 'Print' respects these
variables. As these variables also affect the screen output, you just should
reset them after printing. The manual will tell you more.