From c7b655e2ba39b37eaf2fb71f10f1711e7253e0dc Mon Sep 17 00:00:00 2001 From: Max Horn Date: Mon, 6 May 2024 00:10:30 +0200 Subject: [PATCH] Adjust tests --- src/Groups/GAPGroups.jl | 2 +- src/Groups/directproducts.jl | 8 ++++---- src/Groups/homomorphisms.jl | 4 ++-- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/src/Groups/GAPGroups.jl b/src/Groups/GAPGroups.jl index ec096929ce0..8cd077a09e3 100644 --- a/src/Groups/GAPGroups.jl +++ b/src/Groups/GAPGroups.jl @@ -876,8 +876,8 @@ julia> G = symmetric_group(5); julia> low_index_subgroup_classes(G, 5) 3-element Vector{GAPGroupConjClass{PermGroup, PermGroup}}: Conjugacy class of Sym(5) in G - Conjugacy class of Alt(5) in G Conjugacy class of permutation group in G + Conjugacy class of Alt(5) in G ``` """ function low_index_subgroup_classes(G::GAPGroup, n::Int) diff --git a/src/Groups/directproducts.jl b/src/Groups/directproducts.jl index c7e71a50074..df8f4808301 100644 --- a/src/Groups/directproducts.jl +++ b/src/Groups/directproducts.jl @@ -33,14 +33,14 @@ julia> elements(G) (4,5) (2,3) (2,3)(4,5) - (1,2) - (1,2)(4,5) - (1,2,3) - (1,2,3)(4,5) (1,3,2) (1,3,2)(4,5) (1,3) (1,3)(4,5) + (1,2,3) + (1,2,3)(4,5) + (1,2) + (1,2)(4,5) ``` """ function direct_product(L::AbstractVector{<:GAPGroup}; morphisms::Bool=false) diff --git a/src/Groups/homomorphisms.jl b/src/Groups/homomorphisms.jl index 0c02cfef444..573a2929bb5 100644 --- a/src/Groups/homomorphisms.jl +++ b/src/Groups/homomorphisms.jl @@ -506,10 +506,10 @@ Pc group of order 6 julia> iso = isomorphism(PermGroup, G) Group homomorphism from pc group of order 6 - to permutation group of degree 6 and order 6 + to permutation group of degree 3 and order 6 julia> permutation_group(G) -Permutation group of degree 6 and order 6 +Permutation group of degree 3 and order 6 julia> codomain(iso) === ans true