[Debian-science-sagemath] GAP: issue related to compressed manual.six: PATCHES: reproducing issue

[Jerome BENOIT]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512



On 11/12/16 22:15, Ximin Luo wrote:
> Ximin Luo:
>> Ximin Luo:
>>> [..]
>>>
>>> To demonstrate this in slightly more detail, I have attached two files:
>>>
>>> - sagetest.g  - this is directly from Sage, for Bill's reference
>>>
>>> - sagetest.py - this is my attempt to come up with a "minimal test example". 
>>
>> Here is a minimal example, purely only with GAP, no Sage involved.
>>
>> You still need sagetest.g from my previous email, but you don't need to download my compressed workspace, the following commands will generate it:
>>
>> $ rm -f test.w 
>>
>> [..]
> 
> Sorry, I should have waited for a bit longer before writing the previous email. Here is an even smaller example, involving no material from Sage, not even sagetest.g:
> 
> $ rm -f test.w 
> $ { echo 'SaveWorkspace("./test.w");'; } | gap -q -b
> true
> 
> $ { echo '?FieldByMatricesNC;'; } | gap -q -b -L ./test.w 
> #W  corrupted 'manual.six': ##W (in stream: InputTextFile(/usr/share/gap/doc/t\
> ut/manual.six))
> #W  corrupted 'manual.six': ##W (in stream: InputTextFile(/usr/share/gap/doc/c\
> hanges/manual.six))
> #W  corrupted 'manual.six':  intro.tex 1. Introduction
> #W (in stream: InputTextFile(/usr/share/gap/pkg/Alnuth/doc/manual.six))
> Error, no method found! For debugging hints type ?Recovery from NoMethodFound
> Error, no 1st choice method found for `+' on 2 arguments called from
> pos - 1 at /usr/share/gap/lib/helpdef.gi:168 called from
> HELP_BOOK_HANDLER.(handler).ReadSix( stream 
>  ) at /usr/share/gap/lib/helpbase.gi:679 called from
> func( C[i] ) at /usr/share/gap/lib/coll.gi:746 called from
> List( books, HELP_BOOK_INFO 
>  ) at /usr/share/gap/lib/helpbase.gi:934 called from
> HELP_GET_MATCHES( books, topic, frombegin 
>  ) at /usr/share/gap/lib/helpbase.gi:968 called from
> ...  at line 1 of *stdin*
> you can 'quit;' to quit to outer loop, or
> you can 'return;' to continue
> brk> 

I can reproduce this with gap from the current Sid.

> 
> So it seems saving a workspace, even an "empty" one, then loading it again, causes GAP to be unable to parse the old-style manuals.

If the manual.six files are uncompressed, then

{ echo '?FieldByMatricesNC;'; } | gap -q -b -L ./test.w

works as expected.

And if the zlib patch is applied, the above command line works as expected.

Thanks,
Jerome

> 
> X
> 

- -- 
Jerome BENOIT | calculus+at-rezozer^dot*net
https://qa.debian.org/developer.php?login=calculus@rezozer.net
AE28 AE15 710D FF1D 87E5  A762 3F92 19A6 7F36 C68B
-----BEGIN PGP SIGNATURE-----

iQQcBAEBCgAGBQJYUdl7AAoJED+SGaZ/NsaL8ZQf+wShpPitnIJIZsHwRFqqxeAE
+C70IkbspmALBPdImCr0BR5Zlew3m8n47Uz64DHsFlUu+91AA8+aYt2fr02iigDM
jjLlO1rFE/3Q2yClNleKMLdQ7PcHwr75wD/PbrcGKEWNxm+w20d0K/+RNO4Auu+W
/DlI2TJNW9zvZ6CnxYDo/U0EggO1riBSJUqgWrAGrT0g/qL3hGYZw/gRUqtvdlNX
6Lpm9/cGptQ6Mq/cCjTRleEVTFZwebmKUk5FJtqTw9lz1Yu94pUW3N5LqeJrtT5Z
TDR3sYxxuFnHBpHeKSrDoeKjUJIsEYsceo/dT+KD4JoE6/nfMRCas78NWAjbOP3/
AmtQgYRHhw50CKv8M9uV+LjJtCH5k3kQeQGldRt+ZBdKyiM66vog3EjWnNmoYTOR
r6iDm58cSxxVncPHuNe09X6Ge60Wo10uRjSndzbDyo91tTFK0P0K3vSZfe5JRao0
Wsrc80nCscezLIlSk0GwGH31NZDlzIkSXTqtZvpSw5VjxmnEOPs9ccJdx232O+GM
eD9Jk3tAH0agWoyxqUmTfKDYulvJxBZylEpLieth2v0DAjpjuYll9Ksi+QPxYx6G
c+tsKpAdyWWn2B4jYh5wjSnt6gmXMLE3GIFK8AzG55zaUjiz3hbV9l3vB0lWe4mD
wuNlb2TgZOr9166p2ETJD21nLOLNb8kIi+mFQBKH6xa0HaXlOa+j1JBJnwyRYqMW
r6CGNb0fl3oDvHBOEPLHVBHS9OAsbU4qLLG14q3soHi5dHiu7SXXMpn1x+NBsdBs
FozzQ+8Q6gkBXjrNQHP3rBB1FvpTtC7BAsvpj2cMfMnz3V9Q0Heu41W4mjmRVKoq
ogJa9ul6JtOx+c6kfva5ZMj/UnmiSvRj8719lSepsK+9A5EbKAYeCGa9Vapsbmcb
tHkKKMcfK2ibFuhKd2cQG8taz+qAjwE6V7SbLUHa9gRSNCELBYBW0n6rPxwrgf4Z
5Wz2brSOjrM7Q+w83l9CCoRxqBYCcmHJxpQYvM48JJJC4F4g/TnD2FXccv36cUFH
fAyRHYZskqZ3I8/2iQP/3/CRaTcEaLUrpclvOFiHdaDLXbRFOCN6OYpyHD4sstzA
n97JIeW7bqhIRxmfdc3Yw71fLE//fDPxmsby8BU30IIQO+xhyfdMTJ7PeuJ1tYzG
9ubNQGIxU3EJYgkknDaRcqO2qc/S2ecTKRm9uNv0IamdmfYdvKEpAFPqajlUOwzg
bCShfxcn5ZUsunqbCWqW0UzeauVIoR3Pu6uerbJLRFLer5jmhU+0Ia9mQdqyQpGe
7R8N6oGCgaB645N6YOFIn7hvbUe4vXeyj5uwOihvc7GhcZ+1b5MaxU/t1faYhbs=
=G7So
-----END PGP SIGNATURE-----