//
// This file has been created by Coxeter version 3.0_beta2
//
// Group type is A3
//
// It contains the allocation to the variable coxeter_lrwgraph of the
// full two-sidedW-graph of the current context. This is guaranteed to 
// be a W-graph only when the current context is the full group context;
// otherwise it is the user's responsibility either to ensure that he
// is dealing with a context which is a union of two-sided cells, or to
// get what he can from the partial graph.
//
// In order to be consistent with our other output, we have sorted the
// group elements in shortlex order for the Bourbaki ordering of the
// generators.
//
// For convenience we allocate the enumeration to the variable
// coxeter_contextEnumeration.
//
// The W-graph is represented as a list of pairs [descent set, edge-list],
// one for each element on the context. The descent set is again a pair
// [left descents, right descents]; the edge-list is a list of pairs
// [destination,mu], where mu is the mu-coefficient, and destination is
// the destination of the edge, represented as a number in the enumeration
// of the context that we use (indices start from 1, to be consistent with
// GAP usage.)
//
// AHA!!! The numbering is _not_ correct.

CoxEltForms := [
[],
[1],
[2],
[1,2],
[2,1],
[1,2,1],
[3],
[1,3],
[2,3],
[1,2,3],
[2,1,3],
[1,2,1,3],
[3,2],
[1,3,2],
[2,3,2],
[1,2,3,2],
[2,1,3,2],
[1,2,1,3,2],
[3,2,1],
[1,3,2,1],
[2,3,2,1],
[1,2,3,2,1],
[2,1,3,2,1],
[1,2,1,3,2,1]];

WGraph := [
[[[],[]],[]],
[[[1],[1]],[[0,1],[3,1],[4,1]]],
[[[2],[2]],[[0,1],[3,1],[4,1],[8,1],[12,1]]],
[[[1],[2]],[[1,1],[2,1],[9,1]]],
[[[2],[1]],[[1,1],[2,1],[18,1]]],
[[[1,2],[1,2]],[[3,1],[4,1],[11,1],[16,1],[19,1]]],
[[[3],[3]],[[0,1],[8,1],[12,1]]],
[[[1,3],[1,3]],[[1,1],[6,1],[9,1],[10,1],[13,1],[18,1]]],
[[[2],[3]],[[2,1],[6,1],[9,1]]],
[[[1],[3]],[[3,1],[8,1]]],
[[[2],[1,3]],[[4,1],[7,1],[8,1],[16,1]]],
[[[1,2],[1,3]],[[5,1],[9,1],[10,1],[17,1],[21,1]]],
[[[3],[2]],[[2,1],[6,1],[18,1]]],
[[[1,3],[2]],[[3,1],[7,1],[12,1],[16,1]]],
[[[2,3],[2,3]],[[8,1],[12,1],[15,1],[16,1],[20,1]]],
[[[1,3],[2,3]],[[9,1],[13,1],[14,1],[17,1],[21,1]]],
[[[2],[2]],[[10,1],[13,1]]],
[[[1,2],[2,3]],[[11,1],[15,1],[16,1]]],
[[[3],[1]],[[4,1],[12,1]]],
[[[1,3],[1,2]],[[5,1],[13,1],[18,1],[21,1],[22,1]]],
[[[2,3],[1,3]],[[10,1],[14,1],[18,1],[21,1],[22,1]]],
[[[1,3],[1,3]],[[11,1],[15,1],[19,1],[20,1]]],
[[[2,3],[1,2]],[[16,1],[19,1],[20,1]]],
[[[1,2,3],[1,2,3]],[[17,1],[21,1],[22,1]]]];
