> < ^ Date: Mon, 24 Mar 1997 16:50:47 +0100
> < ^ From: Alexander Hulpke <hulpke@math.colostate.edu >
< ^ Subject: Re: line length

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


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.


Alexander Hulpke

> < [top]