#Example: "B5-5-Engel3-Id" . . . Burnside group satisfying 2 identities
#Generates largest Burnside group of exponent 5 that also satisfies
#a 3-Engel identity. Demonstrates the usage of the `Identities' option.
#vars: F, Burnside5, Engel3, procId;
#options: 
F := FreeGroup(2);
Burnside5 := x->x^5;
Engel3 := function( x,y ) return PqLeftNormComm( [x,y,y,y] ); end;
#alt: do
#procId := PqStart( F );
#alt: sub <procId> for <F>
Pq( F : Prime := 5, Identities := [ Burnside5, Engel3 ] );