[GAP Forum] How to write a compressed file

Raphael C drraph at gmail.com
Tue Apr 14 22:17:24 BST 2020


Hi,

It is 4.11.0 on Ubuntu.

Raphael

On Tue, 14 Apr 2020 at 21:33, Alexander Konovalov <
alexander.konovalov at st-andrews.ac.uk> wrote:

> Hello Raphael - which version of GAP are you using, on which system?
>
> Thanks,
> ALexander
>
> > On 14 Apr 2020, at 20:23, Raphael C <drraph at gmail.com> wrote:
> >
> > 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
> >
> > _______________________________________________
> > Forum mailing list
> > Forum at gap-system.org
> > https://mail.gap-system.org/mailman/listinfo/forum
>
> --
> Dr. Alexander Konovalov, Lecturer
> School of Computer Science, University of St Andrews
> Software Sustainability Institute Fellow
> https://alex-konovalov.github.io/
> --
> The University of St Andrews is a charity registered in
> Scotland:No.SC013532
>
>
>
>


More information about the Forum mailing list