
print "The symplectic group PSP( 4, 2 ) represented as a";
print "permutation group of degree 15. ";
print "Order: 720 = 2^4 * 3^2 * 5;  Base: 1,2,3,4. ";
print "Group: G";

G := PermutationGroup<15 |
    \[ 2,  1,  5,  7,  3, 10,  4, 13,  9,  6, 11, 12,  8, 15, 14],
    \[ 3,  4,  6,  8,  9, 11, 12,  5,  2,  1, 10, 13, 14, 15,  7]>;
AssertAttribute(G, "Order", 2^4 * 3^2 * 5);
