// Permutation group tests
// ----------- ----- -----


old_path := GetPath();
SetPath("lib");

load "genfns";

// if you want  define_groups then
load "pmdefns";

// if you want  element_operators then
load "pmelt";

// if you want  group_operators then
load "pmgp";

// if you want  elementary_functions then
load "elfns"; 
load "pmelfn";

// if you want  subgroup_functions then
load "sgpfns"; 
load "pmsgpfn";

// if you want  permutation_group_functions then
load "permfns"; 
load "pmfn";

// if you want  conjugacy_functions then
load "conjfns"; 
load "pmconjfn";

// if you want  automorphism_and_character_tests then
load "autofns"; 
load "pmautofn";

SetPath(old_path);

/* Aut tests */

G := SmallGroup(6, 1);
A := AutomorphismGroup(G);
Hol, inj, proj := Holomorph(G, A);
//inv := hom<A -> Hol | [f -> (f @@ proj) : f in Generators(A)]>;
inv := hom<A -> Hol | [(f @@ proj) : f in Generators(A)]>;
inv2 := hom<A -> Hol | A.1@@proj, A.2@@proj>;
assert inv(A.1) eq inv2(A.1);
