Data and scripts

The scripts run with GAP 4.16.1 and the package as given in the table; every file is in data/, with a one-line description each in data/README.txt. Each row names the findings it supports, the date the finding was added (see History), the fix and the test the fix adds; each finding links back here.

file	what	supports	fix	test in the PR
`desc_vs_sg.g`	descendants against SmallGroups (set `P`, `N`)	check
`coords.g`	descendants of three other presentations of each group	finding 1 (17.10.2026); check	#96	`tst/aut_basis.tst`
`gen_codes.g` `codes.txt`	the fixed list of copies (order, id, pc code)	finding 1 (17.10.2026)	#96	`tst/aut_basis.tst`
`check_codes.g` `check_codes_master.txt` `check_codes_fixed.txt`	the copies against SmallGroups, and the outputs on master and with the fix	finding 1 (17.10.2026)	#96	`tst/aut_basis.tst`
`spcheck.g`	standard presentations as an isomorphism key	check
`ds_children.g`	pq2048 children built in GAP (needs `dimension-subrings/compute`)	finding 1 (17.10.2026); check	#96	`tst/aut_basis.tst`
`pcgs_automorphisms.g`	136 against 161 descendants of $C_2^2$; the insoluble case $C_2^3$	finding 10 (18.10.2026)	#110	`tst/pcgs_automorphisms.tst`
`exponent_reduced_list.g`	orders with and without supplied automorphisms, 19 cases	finding 11 (18.10.2026)	#112	`tst/exponent_reduced_list.tst`
`exponent_queue.g` `exponent_queue_standalone.pq`	GAP: $GL(7,2)$ with exponent 2 (repeat it, the outcome varies); standalone input for an ASan build	finding 12 (18.10.2026)	#106	`tst/exponent_queue.tst`
`gl_order.g`	the `glOrder` printed for $(C_{101})^2$	finding 13 (18.10.2026)	#117	`tst/gl_order.tst`
`epimorphism_non_pgroup.g`	cases A–F: homomorphism and surjectivity of both maps	finding 14 (18.10.2026)	#111	`tst/epimorphism_non_pgroup.tst`
`step_size.g` `sp_tmpdir.g` `group_name.g`	(a) step size above the nuclear rank, (b) temporary directory, (c) group name with `_`	finding 15 (18.10.2026)	#119, #120, #121	`tst/step_size_dialogue.tst` `tst/group_name.tst` `tst/sp_tmpdir.tst`
`prime_bound.g` `composite_prime.in`	$p = 32749$ against $p = 32771$; standalone input with $p = 9$ (hangs on master)	finding 16 (18.10.2026)	#116	`tst/prime_bound.tst`
`pc_generator_limit.g` `free361.in`	GAP, 50 ms; the same for the standalone `pq` (needs `-s 400000000`)	finding 17 (18.10.2026)	#114	`tst/pc_generator_limit.tst`
`commutator_workspace.g`	$2^6$ against $2^7$ at `PqWorkspace := 210`	finding 18 (18.10.2026)	#109	`tst/commutator_workspace.tst`
`sp_pquotient.g`	one wrong standard presentation and one crash, order 64	finding 19 (18.10.2026)	#118	`tst/sp_pquotient_basis.tst`
`gmp_separator.g`	descendants of $C_{53}$ and $C_{53}^2$	finding 20 (18.10.2026)	#105	`tst/gmp_separator.tst`
`stabiliser_space.g`	a copy of `SmallGroup(256, 1325)`; run with an ASan build of master	finding 21 (18.10.2026)	#108
`degree_overflow.g`	a group of rank 6 and order $2^9$ whose standard presentation overflows	finding 22 (18.10.2026)	#113	`tst/degree_overflow.tst`
`relative_orders_gap.g`	`relativeOrders` against the number of automorphisms of descendants	finding 23 (18.10.2026)	#107	`tst/relative_orders_gap.tst`
`stabiliser_relative.g`	soluble generators against automorphisms of descendants	finding 24 (18.10.2026)	#115	`tst/stabiliser_relative.tst`
`tiny_workspace.in` `tiny_workspace.g`	open item: a tiny workspace, standalone (`pq -s N`) and through GAP	open item
`non_homogeneous.g`	refuted: a non-homogeneous relation handed to `PqEchelonise`	refuted item
`pq_killed.g`	refuted: an outside kill of `pq` gives the error of the order-64 run	refuted item

The reproducers of findings 2–9 are in the text of Findings and in the tests of their pull requests. Each test fails on master and passes with the fix; finding 21 has no test, since after #96 its input no longer reaches the code.

Branches: each fix is a branch of ispacex/anupq (the head of its pull request), and correctness at b7deefa is master 81bcf35 with all fixes #96–#121 merged and the union-find orbit speed-up (ispacex/anupq#2, same output); 123 test files pass on it.

This site is built from src/ on its own branch (gh-pages of ispacex/gap): python3 src/build.py writes the English pages and the Russian ones under ru/ from one set of numbers and tables.