Adjust book example

oscar-system · Sep 4, 2024 · 3d6d4f7 · 3d6d4f7
1 parent c1050d9
commit 3d6d4f7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/book/cornerstones/groups/actions.jlcon b/test/book/cornerstones/groups/actions.jlcon
@@ -60,10 +60,10 @@ Group homomorphism
 julia> isomorphism(PermGroup, U)
 Group homomorphism
   from pc group of order 8
-  to permutation group of degree 8 and order 8
+  to permutation group of degree 4 and order 8
 
 julia> permutation_group(U)
-Permutation group of degree 8 and order 8
+Permutation group of degree 4 and order 8
 
 julia> for g in all_transitive_groups(degree => 3:9, !is_primitive)
          h = image(optimal_perm_rep(g))[1]