Данные и скрипты

Скрипты работают с GAP 4.16.1 и версией пакета, указанной в таблице; все файлы лежат в data/, с описанием в одну строку для каждого в data/README.txt. В каждой строке указаны дефекты, которые файл подтверждает, дата добавления дефекта (см. «Историю»), исправление и тест, который оно добавляет; от каждого дефекта есть ссылка обратно сюда.

файл	что это	к чему	исправление	тест в PR
`desc_vs_sg.g`	потомки против SmallGroups (задайте `P`, `N`)	сверка
`coords.g`	потомки трёх других презентаций каждой группы	дефект 1 (17.10.2026); сверка	#96	`tst/aut_basis.tst`
`gen_codes.g` `codes.txt`	фиксированный список копий (порядок, номер, pc-код)	дефект 1 (17.10.2026)	#96	`tst/aut_basis.tst`
`check_codes.g` `check_codes_master.txt` `check_codes_fixed.txt`	копии против SmallGroups и выводы на master и с исправлением	дефект 1 (17.10.2026)	#96	`tst/aut_basis.tst`
`spcheck.g`	стандартная презентация как ключ изоморфизма	сверка
`ds_children.g`	дети pq2048, построенные в GAP (нужен `dimension-subrings/compute`)	дефект 1 (17.10.2026); сверка	#96	`tst/aut_basis.tst`
`pcgs_automorphisms.g`	136 против 161 потомка $C_2^2$; неразрешимый случай $C_2^3$	дефект 10 (18.10.2026)	#110	`tst/pcgs_automorphisms.tst`
`exponent_reduced_list.g`	порядки с заданными автоморфизмами и без них, 19 случаев	дефект 11 (18.10.2026)	#112	`tst/exponent_reduced_list.tst`
`exponent_queue.g` `exponent_queue_standalone.pq`	GAP: $GL(7,2)$ с экспонентой 2 (повторите несколько раз, исход меняется); вход автономного pq для сборки с ASan	дефект 12 (18.10.2026)	#106	`tst/exponent_queue.tst`
`gl_order.g`	`glOrder`, напечатанный для $(C_{101})^2$	дефект 13 (18.10.2026)	#117	`tst/gl_order.tst`
`epimorphism_non_pgroup.g`	случаи A–F: гомоморфность и сюръективность обоих отображений	дефект 14 (18.10.2026)	#111	`tst/epimorphism_non_pgroup.tst`
`step_size.g` `sp_tmpdir.g` `group_name.g`	(a) шаг больше ядерного ранга, (b) временный каталог, (c) имя группы с `_`	дефект 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$ против $p = 32771$; вход автономного pq с $p = 9$ (на master зависает)	дефект 16 (18.10.2026)	#116	`tst/prime_bound.tst`
`pc_generator_limit.g` `free361.in`	GAP, 50 мс; то же для автономного `pq` (нужен `-s 400000000`)	дефект 17 (18.10.2026)	#114	`tst/pc_generator_limit.tst`
`commutator_workspace.g`	$2^6$ против $2^7$ при `PqWorkspace := 210`	дефект 18 (18.10.2026)	#109	`tst/commutator_workspace.tst`
`sp_pquotient.g`	одна неверная стандартная презентация и одно падение, порядок 64	дефект 19 (18.10.2026)	#118	`tst/sp_pquotient_basis.tst`
`gmp_separator.g`	потомки $C_{53}$ и $C_{53}^2$	дефект 20 (18.10.2026)	#105	`tst/gmp_separator.tst`
`stabiliser_space.g`	копия `SmallGroup(256, 1325)`; запускать со сборкой master с ASan	дефект 21 (18.10.2026)	#108
`degree_overflow.g`	группа ранга 6 порядка $2^9$, у которой стандартная презентация переполняется	дефект 22 (18.10.2026)	#113	`tst/degree_overflow.tst`
`relative_orders_gap.g`	`relativeOrders` против числа автоморфизмов у потомков	дефект 23 (18.10.2026)	#107	`tst/relative_orders_gap.tst`
`stabiliser_relative.g`	разрешимые порождающие против автоморфизмов у потомков	дефект 24 (18.10.2026)	#115	`tst/stabiliser_relative.tst`
`tiny_workspace.in` `tiny_workspace.g`	открытый вопрос: крошечная рабочая память, автономно (`pq -s N`) и через GAP	открытый вопрос
`non_homogeneous.g`	опровергнуто: неоднородное соотношение, переданное в `PqEchelonise`	опровергнутое
`pq_killed.g`	опровергнуто: внешнее убийство `pq` даёт ту же ошибку, что в прогоне порядка 64	опровергнутое

Воспроизведения дефектов 2–9 приведены в тексте страницы «Дефекты» и в тестах их PR. Каждый тест на master падает, а с исправлением проходит; у дефекта 21 теста нет: после #96 его вход до этого кода не доходит.

Ветки: каждое исправление — ветка репозитория ispacex/anupq (голова своего PR), а correctness, коммит b7deefa, — это master 81bcf35 со всеми исправлениями #96–#121 и ускорением орбит через union-find (ispacex/anupq#2, выдача та же); на ней проходят 123 файлов тестов.

Сайт собирается из каталога src/ своей же ветки (gh-pages репозитория ispacex/gap): python3 src/build.py пишет английские страницы и русские в ru/ из одного набора чисел и таблиц.