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

[Ximin Luo]

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> 

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.

X

-- 
GPG: ed25519/56034877E1F87C35
GPG: rsa4096/1318EFAC5FBBDBCE
https://github.com/infinity0/pubkeys.git