(* ::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\\2013-03"];
<< FreeLie.m;
tm[u_,v_,w_] := LieMorphism[\[LeftAngleBracket]u\[RightAngleBracket]->\[LeftAngleBracket]w\[RightAngleBracket], \[LeftAngleBracket]v\[RightAngleBracket]->\[LeftAngleBracket]w\[RightAngleBracket]];
CC[u_, \[Gamma]_LieSeries] := LieMorphism[u -> Ad[\[Gamma]][u]];RC[u_, \[Gamma]_LieSeries, ub_][ser_] := StableApply[LieMorphism[\[LeftAngleBracket]u\[RightAngleBracket] -> Ad[\[Gamma]][\[LeftAngleBracket]ub\[RightAngleBracket]]], ser];
RC[u_, \[Gamma]_LieSeries][ser_] := ser // RC[u, \[Gamma],\[LeftAngleBracket]\[Upsilon]\[RightAngleBracket]] // LieMorphism[\[LeftAngleBracket]\[Upsilon]\[RightAngleBracket]->\[LeftAngleBracket]u\[RightAngleBracket]];
Print /@ {{t=\[LeftAngleBracket]"t"\[RightAngleBracket], u=\[LeftAngleBracket]"u"\[RightAngleBracket], v=\[LeftAngleBracket]"v"\[RightAngleBracket], w=\[LeftAngleBracket]"w"\[RightAngleBracket]},
\[Alpha] = RandomLieSeries[{t,u,v}],
\[Beta] = RandomLieSeries[{t,u,v}],
\[Gamma] = RandomLieSeries[{t,u,v}]
};
$SeriesShowDegree=3; $SeriesCompareDegree = 6;


ad[u_, \[Gamma]_LieSeries] := LieDerivation[u -> b[\[Gamma], u]];
\[Epsilon] /: \[Epsilon]^2=0;


J[u_, \[Gamma]_] := \!\(
\*SubsuperscriptBox[\(\[Integral]\), \(0\), \(1\)]\(\((div[u, \[Gamma]\  // \ RC[u, \ s\ \[Gamma]]]\  // \ CC[u, \ \(-s\)\ \[Gamma]])\) \[DifferentialD]s\)\)



