[GAP Forum] How to write a compressed file

[Christopher Jefferson]

Hi Raphael,

Just to confirm, this functionality seems to be broken at the moment. I am investigating at https://github.com/gap-system/gap/issues/3960

Chris

-----Original Message-----
From: Raphael C <drraph at gmail.com> 
Sent: 14 April 2020 22:17
To: Alexander Konovalov <alexander.konovalov at st-andrews.ac.uk>
Cc: forum at gap-system.org
Subject: Re: [GAP Forum] How to write a compressed file

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
>
>
>
>
_______________________________________________
Forum mailing list
Forum at gap-system.org
https://mail.gap-system.org/mailman/listinfo/forum