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

[Ximin Luo]

Bill Allombert:
> On Sun, Dec 11, 2016 at 11:41:22PM +0100, Bill Allombert wrote:
>> On Sun, Dec 11, 2016 at 10:15:00PM +0000, Ximin Luo wrote:
>>> 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.
>>
>> Well, if you remove gap-alnuth and gap-autpgrp, then it still report
>> problems:
>>
>> yellowpig - /tmp%echo 'SaveWorkspace("./test.w");' | gap -q -b
>> true
>> true
>> yellowpig - /tmp%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': ##W (in stream: InputTextFile(/usr/share/gap/pkg/G\
>> APDoc/example/manual.six))
>> Help: no matching entry found
>>
>> Also this seems to work with GAP 4.7.5 in jessie which has the same
>> patch applied.
> 
> I mean, in my tests, it works correctly with GAP 4.7.5, but it does not
> work with GAP 4.8.2 and 4.8.6.
> 

Did you remove test.w before trying the tests? I think it is still somehow autpgrp-related. Also the "corrupted" messages seem to be separate from the actual failure of "no method found":

Without autpgrp:

| $ dpkg --get-selections | grep ^gap- | tr -s '\t' | cut -f1 | xargs echo
| gap-core gap-doc gap-gapdoc gap-libs gap-online-help
| 
| $ rm -f test.w && echo 'SaveWorkspace("./test.w");' | gap -q -b && echo '?SymmetricGroup;' | gap -q -b -L ./test.w
| true
| #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': ##W (in stream: InputTextFile(/usr/share/gap/pkg/G\
| APDoc/example/manual.six))
| Help: several entries match this topic - type ?2 to get match [2]
| 
| [1] Reference: SymmetricGroup
| [2] Reference: SymmetricGroup (for a degree)
| [3] Reference: SymmetricGroup (for a domain)
| 

With autpgrp:

| $ sudo aptitude install gap-autpgrp
| The following NEW packages will be installed:
|   gap-autpgrp 
| [..]
| $ dpkg --get-selections | grep ^gap- | tr -s '\t' | cut -f1 | xargs echo
| gap-autpgrp gap-core gap-doc gap-gapdoc gap-libs gap-online-help
| 
| $ rm -f test.w && echo 'SaveWorkspace("./test.w");' | gap -q -b && echo '?SymmetricGroup;' | gap -q -b -L ./test.w
| true
| #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':  autpgrp.tex 1. Introduction
| #W (in stream: InputTextFile(/usr/share/gap/pkg/AutPGrp/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> 

$ dpkg -l gap-core gap-doc gap-gapdoc gap-libs gap-online-help gap-autpgrp
Desired=Unknown/Install/Remove/Purge/Hold
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Name                     Version           Architecture      Description
+++-========================-=================-=================-=====================================================
ii  gap-autpgrp              1.5-2             all               GAP AutPGrp - Computing the Automorphism Group of a p
ii  gap-core                 4r8p6-1           amd64             GAP computer algebra system, core components
ii  gap-doc                  4r8p6-1           all               GAP computer algebra system, documentation
ii  gap-gapdoc               1.5.1-3           all               GAPDoc - A Meta Package for GAP Documentation
ii  gap-libs                 4r8p6-1           all               GAP computer algebra system, essential GAP libraries
ii  gap-online-help          4r8p6-1           all               GAP computer algebra system, online help

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