Homogenize the doc#261
Merged
james-d-mitchell merged 6 commits intoJun 11, 2025
Merged
Conversation
Collaborator
Author
|
This PR will likely be the first of several doc-related PRs, rather than having a big behemoth. |
Joseph-Edwards
force-pushed
the
homogenize-doc
branch
from
04d35a2 to
42a79d2
Compare
Collaborator
Author
|
The class pages in data-structees/ now have the same structure, with a few exceptions like matrix where we write everything in the |
Member
|
@Joseph-Edwards it's probably better if we merge smaller chunks rather than bigger ones, so I'd be happy enough to merge this, and have the remaining check boxes as separate PRs, if that's ok with you? |
Add missing reporter functions Add missing runner functions Remove libsemigroups. from signatures Add missing presentation functions Add ukkonen missing functions Add AhoCorasick missing functions Add Dot missing functions Add Gabow missing functions Restructure word-graph doc Add Joiner missing functions Add missing words functions
Add missing Action functions to summary Add missing Congruence functions to summary Add missing FroidurePin functions to summary Add missing Kambites functions to summary Add missing KnuthBendix functions to summary Add missing Konieczny functions to summary Add missing Sims functions to summary Add missing SchreierSims functions to summary Add missing Stephen functions to summary Add missing ToddCoxeter functions to summary
Joseph-Edwards
force-pushed
the
homogenize-doc
branch
from
529f03e to
f690707
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR addresses some inconsistencies within in the doc. Specifically: