Packages: monitoring readiness for GAP 4.10

[olexandr-konovalov]

This is an issue to monitor the status of selected packages for which an update is desired in time for GAP 4.10. We are not currently aware about any packages for which the absence of the new release will block us from publishing GAP 4.10, but for some packages making their new release should be a task of a high priority.

CRITICAL

• CAP project to resolve Make new release for GAP 4.10 homalg-project/CAP_project#190 and Publish new release of CAP package in time for GAP 4.10 homalg-project/CAP_project#196, otherwise we will use the stable release of CAP components (4 packages)
• groupoids needs further investigation to resolve Problems with GAP standard tests gap-packages/groupoids#18, otherwise we will use the stable release of groupoids
• SONATA should make a new release resolving Wrong argument of DeclareAttribute gap-packages/sonata#1, and closing Wrong argument of DeclareAttribute in SONATA package #2107, otherwise we can not include it in the GAP distribution
• Merge ENHANCE: Further strategy improvement in fp group order #2895 and cherry-pick it on stable-4.10 branch to resolve Tests fail in stable-4.10 and master GAP branches gap-packages/wedderga#43 in Wedderga

HIGHLY DESIRABLE

• AtlasRep to include the change already made by @ThomasBreuer as stated in atlasrep: POSITION_FIRST_COMPONENT_SORTED used #2789 (which will allow to merge Remove PositionFirstComponent #2791)
• automata to fix Incompatibility with GAP master branch gap-packages/automata#1
• Resolve Call GroupByGenerators/GroupWithGenerators with a collection? #2703 to fix the problem with CTblLib reported in CTblLib: make sure that tests pass #1619 (or make the change in CTblLib)
• GAPDoc: release requested in Make new release in time for GAP 4.10 frankluebeck/GAPDoc#34
• GBNP
• guarana moved to new location, still needed to fix Test fails when no packages loaded (missing AutomorphismGroup method) gap-packages/guarana#3
• JupyterKernel
• kbmag to improve tests
• liepring to improve tests: Tests fail when all packages are loaded gap-packages/liepring#9
• linboxing which is not available at it old location and is unusable. Suggested to be removed from the GAP distribution here.
• LOOPS and FR: resolve Test failures in the GAP master branch gap-packages/loops#4, currently having a segfault in a package tests when all packages a loaded, apparently related to LOOPS breaks FR gap-packages/fr#28
• mapclass with resolved issue GeneratingMCOrbits does not work with GAP master gap-packages/MapClass#8
• modisom to remove obsoletes and improve tests
• primgrp to fix wrong name for two primitive groups gap-packages/primgrp#17
• recog
• recogbase is to be removed since it is now incorporated into recog (see Finalize end of recogbase gap-packages/recogbase#2)
• Semigroups to fix Semigroups test crashes if all packages are loaded. semigroups/Semigroups#543
• SmallGrp: merge PR Permutations to get alignment of ordering with Magma gap-packages/smallgrp#39 to fix Permutation for orders 3^7,5^7, 7^7, 11^7 are wrongly documented and implemented gap-packages/smallgrp#38
• spinsym is no longer available at its webpage at Universität Duisburg-Essen, so its check for updates fails.

GOOD TO HAVE

• AutomGrp
• design: Make new release with added tests gap-packages/design#1
• francy suggested for the redistribution
• grape: Make new release in time for GAP 4.10 gap-packages/grape#3
• JupyterViz suggested for the redistribution
• YangBaxter to be suggested for the redistribution (see Make a new release in time for GAP 4.10 gap-packages/YangBaxter#43)
• More fixes to make tests pass for packages from staging tests:
  • atlasrep: diffs reported and fixes suggested in Diffs in AtlasRep standard tests #1617
  • crime: repository created at https://github.com/gap-packages/crime/ and a new release has been published
  • cryst: reported in Diffs in tests under GAP stable-4.10 branch gap-packages/cryst#8
  • ctbllib: diffs reported in CTblLib: make sure that tests pass #1619
  • curlinterface: for all tests to pass, need to configure ftp access from the Docker container https://github.com/gap-packages/gap-docker-pkg-tests-master-devel/issues/1
  • gbnp: @jwknopper contacted regarding the new release (including new repository and webpage)
  • hapcryst: reported to the author by @alex-konovalov in October 2018 (CC GAP Support)
  • loops: as in the mentioned above issue Test failures in the GAP master branch gap-packages/loops#4
  • polymaking: check if it is usable, and can it be superseded by https://github.com/homalg-project/homalg_project/tree/master/PolymakeInterface ?
  • sgpviz: reported in Diffs (when all packages loaded) in tests under GAP stable-4.10 branch gap-packages/sgpviz#3
  • simpcomp: reported in Diffs with GAP stable-4.10 branch simpcomp-team/simpcomp#10 -> lead to Assertion failure SimplifiedFpGroup #2911
  • SONATA: reported in Diffs in tests dependently on loaded packages gap-packages/sonata#11
  • tomlib: public repository created at https://github.com/gap-packages/tomlib/issues, and new release expected from @gpfeiffer and @LiamNaughton by the end of October
• some packages currently submitted for the refereeing

PULL REQUESTS BLOCKED BY PACKAGES

• Remove DEBUG_LOADING, InfoRead1, and InfoRead2 #2237 waits for atlasrep, gbnp, hecke, xgap
• kernel: reject invalid AND-filters #2756 merged (waited for MatricesForHomalg, qpa and xmodalg)
• Remove PositionFirstComponent #2791 waits for atlasrep

WINDOWS ISSUES
Need also to check that as many as possible packages with binaries are usable under Windows.

• curlInterface: see Problems under Windows gap-packages/curlInterface#13
• Digraphs: see Missing bin directory on Windows / Digraphs is not pre-compiled when distributed with GAP for Windows digraphs/Digraphs#138
• Semigroups: see Semigroups under Cygwin semigroups/Semigroups#480

Please feel free to edit this issue and add more packages to the checklist.

[fingolfin]

Note that I believe the LOOP and FR issue is caused by issue #2513, which is fixed by @stevelinton's PR #2773. However, I don't think that PR is good for 4.10, it's too risky for that. But at least for 4.11 that's fine.

[olexandr-konovalov]

Ticked boxes for CAP project, groupoids, guarana, KBMAG, MapClass, ModIsom, Wedderga.

[markuspf]

JupyterKernel is of course still broken

[olexandr-konovalov]

@markuspf I've added JupyterKernel to the list - could you please add links to the issues in its issue tracker which have to be resolved?

[fingolfin]

I made a new release of guarana, it should fix the issue with it.

[markuspf]

JupyterKernel is fixed, but there's a rather delicate issue (gap-packages/smallgrp#38) with the smallgrp package.

[olexandr-konovalov]

Ticked boxes for automata, guarana, JupyterKernel.

[olexandr-konovalov]

Ticked SONATA, linboxing, recogbase, automgrp, semigroups.

[olexandr-konovalov]

Need also to check that as many as possible packages with binaries are usable under Windows.

[olexandr-konovalov]

Ticked boxes for liepring, crime, sonata.

[olexandr-konovalov]

Ticked GAPDoc - thanks @frankluebeck.

[fingolfin]

I will downgrade SmallGrp now, based on the fact that any issues with it are already present in GAP 4.9 anyway, and also because no quick resolution is forthcoming.

Otherwise, I really think we should just release GAP 4.10 now!

[olexandr-konovalov]

I agree. None of the issues with packages above is blocking - a huge progress has been achieved thanks to many, and it will be good to have as many as possible in GAP 4.10.0, but apart from a couple of packages with an imminent new release, we should not wait longer for others. They could go into 4.10.11 or later.

[olexandr-konovalov]

Ticked grape, cryst, curlInterface. Also, new primgrp appeared and will likely make it too.

[olexandr-konovalov]

TIcked primgrp, JupyterViz, SgpViz, simpcomp. I will move the rest of packages to a new issue.

[olexandr-konovalov]

Closing this. See #2984 for monitoring package readiness for GAP 4.11 release.