Skip to content

Convert documentation to GAPDoc/AutoDoc - #14

Merged
fingolfin merged 4 commits into
masterfrom
mh/convert-doc-to-gapdoc
Aug 14, 2026
Merged

Convert documentation to GAPDoc/AutoDoc#14
fingolfin merged 4 commits into
masterfrom
mh/convert-doc-to-gapdoc

Conversation

@fingolfin

Copy link
Copy Markdown
Member

Replace the plain-TeX (gapmacro.tex) manual with GAPDoc XML built via
AutoDoc, and drop doc/make_doc in favour of a makedoc.g in the package
root. See gap-system/gap#639.

Converted mechanically with dev/gapmacro2gapdoc.py from the GAP
repository. Beyond the markup, three things needed attention, all of them
documentation that had gone stale unnoticed: the old build extracted its
examples to doc/manual.example-*.tst, which was gitignored and never run.

  • Chapter "Examples with Runtimes" states that its runtimes come from a
    400 Mhz PC, so none of its ten examples can reproduce. They are ,
    which AutoDoc does not extract, rather than tests that always fail.

  • The recorded output of several examples predates changes in how GAP
    prints a pc group -- it now includes the group order -- and the order
    in which ConstructAllGroups returns groups of order 60 has changed.
    Refreshed from what GAP actually prints.

  • One example asked for List(last2, IdGroup) directly after a single
    command, where the result is last; last2 was something else entirely
    and the example failed with "no method found".

The whole test suite passes, including the package's own tests.

Co-Authored-By: Claude Opus 5 noreply@anthropic.com

Replace the plain-TeX (gapmacro.tex) manual with GAPDoc XML built via
AutoDoc, and drop doc/make_doc in favour of a makedoc.g in the package
root. See gap-system/gap#639.

Converted mechanically with dev/gapmacro2gapdoc.py from the GAP
repository. Beyond the markup, three things needed attention, all of them
documentation that had gone stale unnoticed: the old build extracted its
examples to doc/manual.example-*.tst, which was gitignored and never run.

* Chapter "Examples with Runtimes" states that its runtimes come from a
  400 Mhz PC, so none of its ten examples can reproduce. They are <Log>,
  which AutoDoc does not extract, rather than tests that always fail.

* The recorded output of several examples predates changes in how GAP
  prints a pc group -- it now includes the group order -- and the order
  in which ConstructAllGroups returns groups of order 60 has changed.
  Refreshed from what GAP actually prints.

* One example asked for List(last2, IdGroup) directly after a single
  command, where the result is last; last2 was something else entirely
  and the example failed with "no method found".

The whole test suite passes, including the package's own tests.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@codecov

codecov Bot commented Aug 11, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 70.49%. Comparing base (f8fb252) to head (ce5d633).

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #14      +/-   ##
==========================================
+ Coverage   64.08%   70.49%   +6.40%     
==========================================
  Files          12       12              
  Lines        2169     2169              
==========================================
+ Hits         1390     1529     +139     
+ Misses        779      640     -139     

see 6 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

fingolfin and others added 3 commits August 12, 2026 09:23
Also drop "share package", GAP 3 terminology, and correct the flag name
in the FrattiniExtensionMethod example (nonnilpotent -> nonnilpot).
The order in which CyclicExtensions and UpwardsExtensions return groups
depends on the GAP version, so the extracted examples failed on GAP 4.11.
Sort the IdGroup lists, select H by isomorphism type instead of position,
and drop the printed generating set of H.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Also correct the nonnilpot flag name in the FrattiniExtensionMethod
description, which named a non-existent flag.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@fingolfin
fingolfin merged commit 1e29e60 into master Aug 14, 2026
6 of 9 checks passed
@fingolfin
fingolfin deleted the mh/convert-doc-to-gapdoc branch August 14, 2026 20:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant