Skip to content

Fix typos, grammar and four incorrect statements in the documentation - #13

Merged
fingolfin merged 2 commits into
masterfrom
mh/doc-typos
Oct 8, 2026
Merged

fingolfin merged 2 commits into
masterfrom
mh/doc-typos

Conversation

@fingolfin

@fingolfin fingolfin commented Oct 8, 2026 •

Copy link
Copy Markdown
Member

A read through the manual, the README and PackageInfo.g, in two commits.

The first commit fixes about 55 misspellings, grammar slips and markup problems in the manual, two in the README, and the package abstract, which ended in a comma. It also turns 19 blank lines between paragraphs of the manual into <P/>; GAPDoc otherwise runs those paragraphs together.

The second commit changes what the manual claims in four places:

  • SubalgebraOfClosedSet was documented under the name LieAlgebraOfClosedSet, which does not exist in the package. The example already used the real name.
  • RandomSL2Triple was said to return (x,h,y). The code returns (y,h,x), like SL2Triple.
  • RegularSemisimpleSubalgebras was described as returning all semisimple subalgebras. It now says "regular" and "representatives of".
  • For the three-argument CharacteristicsOfStrata, the basis was said to be completed by LieCentre(K), where K is the derived subalgebra and so has zero centre. The code and the example use LieCentre(L).

AI disclosure: Claude Code (Opus 5.5) read the documentation, made these changes and wrote this description.

Correct misspellings, grammar slips and a few markup problems in the
manual, the README and the package abstract. Blank lines between
paragraphs in the manual become <P/>, since GAPDoc otherwise runs the
paragraphs together.

No line is added or removed in manual.xml, so the line references in
the generated test files stay valid.

Assisted-by: Claude Code (Opus 5.5)
- SubalgebraOfClosedSet was documented as LieAlgebraOfClosedSet, a
  name that does not exist; the example already used the real one.
- RandomSL2Triple returns a triple (y,h,x) like SL2Triple, not
  (x,h,y).
- RegularSemisimpleSubalgebras returns the regular semisimple
  subalgebras only.
- In the three-argument CharacteristicsOfStrata the basis is
  completed by the centre of L; the centre of its derived subalgebra
  K is zero.

Assisted-by: Claude Code (Opus 5.5)
@codecov

codecov Bot commented Oct 8, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.15%. Comparing base (d145b08) to head (1b82a8a).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #13   +/-   ##
=======================================
  Coverage   97.15%   97.15%           
=======================================
  Files          16       16           
  Lines       92584    92584           
=======================================
  Hits        89950    89950           
  Misses       2634     2634           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@fingolfin
fingolfin merged commit a998c9c into master Oct 8, 2026
5 checks passed
@fingolfin
fingolfin deleted the mh/doc-typos branch October 8, 2026 13:05
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