From 361568871d4ac0cf3c28676a5b40da33cfdf87d8 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Fri, 14 Jun 2024 08:41:19 +0200 Subject: [PATCH] Adjust book example --- test/book/cornerstones/groups/actions.jlcon | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/book/cornerstones/groups/actions.jlcon b/test/book/cornerstones/groups/actions.jlcon index cca4f30a51b5..af50427d42b8 100644 --- 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]