[GAP Forum] How to write a compressed file

[Raphael C]

I am making a large DFA and would like to compress it before writing
it to a file. I tried the following:

    dfa := RemovedSinkStates(NFAtoDFA(nfa));
    output := OutputTextFile("test.gz", false);
    AppendTo(output, dfa);
    CloseStream(output);

But the file test.gz is not compressed.

I was attempting to follow the instructions from
https://www.gap-system.org/Manuals/doc/ref/chap10.html .

How should this be done?

Raphael