Dear Gap-Forum

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.)

The command

SizeScreen([x,y]);

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.

Best,

Alexander Hulpke