(* ::Package:: *)

(************************************************************************)
(* This file was generated automatically by the Mathematica front end.  *)
(* It contains Initialization cells from a Notebook file, which         *)
(* typically will have the same name as this file except ending in      *)
(* ".nb" instead of ".m".                                               *)
(*                                                                      *)
(* This file is intended to be loaded into the Mathematica kernel using *)
(* the package loading commands Get or Needs.  Doing so is equivalent   *)
(* to using the Evaluate Initialization Cells menu command in the front *)
(* end.                                                                 *)
(*                                                                      *)
(* DO NOT EDIT THIS FILE.  This entire file is regenerated              *)
(* automatically each time the parent Notebook file is saved in the     *)
(* Mathematica front end.  Any changes you make to this file will be    *)
(* overwritten.                                                         *)
(************************************************************************)



SetDirectory["C:\\drorbn\\AcademicPensieve\\2015-02"];
<< ../Projects/WKO4/FreeLie.m
Conj[a_,b_] := (-b)**a**b;


SolvePB[n_] := SeriesSolve[
Flatten@Table[
Do[cs[n,i,j][l,k]=0, {k,1,n-1}, {l, k+1,n}]; cs[n,i,j][j,i]=1;
s[n,i,j]=DKS[n,cs[n,i,j]],
{i,1,n-1}, {j, i+1, n}
],
And@@(Flatten@Table[
Which[
l<i || i<k<l<j, Conj[s[n,i,j],s[n,k,l]] \[Congruent] s[n,i,j],
l==i, Conj[s[n,i,j],s[n,k,l]] \[Congruent] Conj[s[n,i,j], -s[n,k,j]],
i==k && k<l<j, Conj[s[n,i,j],s[n,k,l]] \[Congruent]  Conj[s[n,i,j], (-s[n,l,j])**(-s[n,i,j])],
k<i<l<j, Conj[s[n,i,j],s[n,k,l]] \[Congruent] Conj[s[n,i,j], Conj[s[n,k,j], -s[n,l,j]]**(-s[n,k,j])],
True, BS@True
],
{i,1,n-1}, {j,i+1,n}, {k,1,n-1}, {l, k+1,n}
])
]



