Skip to content

Add extraspecial_group and is_extraspecial_group#4999

Merged
fingolfin merged 1 commit intooscar-system:masterfrom
ThomasBreuer:TB_extraspecial_group
Jun 13, 2025
Merged

Add extraspecial_group and is_extraspecial_group#4999
fingolfin merged 1 commit intooscar-system:masterfrom
ThomasBreuer:TB_extraspecial_group

Conversation

@ThomasBreuer
Copy link
Copy Markdown
Member

  • add extraspecial_group
  • add is_extraspecial_group, add it to the list of general group properties in the manual
  • add is_dicyclic_group and is_dihedral_group to the list of general group properties in the manual
  • sort the general group properties in the manual alphabetically

- add `extraspecial_group`, `is_extraspecial_group`
- sort the general group properties in the manual alphabetically
@ThomasBreuer ThomasBreuer added enhancement New feature or request topic: groups release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Jun 13, 2025
@ThomasBreuer ThomasBreuer requested a review from fingolfin June 13, 2025 12:11
@lgoettgens lgoettgens changed the title add extraspecial_group Add extraspecial_group and is_extraspecial_group Jun 13, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented Jun 13, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.88%. Comparing base (13b473d) to head (b42730e).
Report is 2 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #4999      +/-   ##
==========================================
- Coverage   84.89%   84.88%   -0.01%     
==========================================
  Files         697      697              
  Lines       93897    93918      +21     
==========================================
+ Hits        79711    79724      +13     
- Misses      14186    14194       +8     
Files with missing lines Coverage Δ
src/GAP/wrappers.jl 95.37% <100.00%> (+0.02%) ⬆️
src/Groups/group_constructors.jl 94.20% <100.00%> (+0.55%) ⬆️

... and 2 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 fingolfin merged commit d8a511e into oscar-system:master Jun 13, 2025
35 of 40 checks passed
@ThomasBreuer ThomasBreuer deleted the TB_extraspecial_group branch June 13, 2025 13:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes topic: groups

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants