(* ::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.                                                         *)
(************************************************************************)



CF[expr_] := expr /. {
a[f_,i_,j_] :> Interpretation[StringForm["a[``,````]",f,i,j], a[f,i,j]],
\[Gamma][f_,i_,j_] :> Interpretation[StringForm["\[Gamma][``,````]",f,i,j], \[Gamma][f,i,j]],
\[Gamma][f_,i_,j_,k_] :> Interpretation[StringForm["\[Gamma][``,``````]",f,i,j,k], \[Gamma][f,i,j,k]],
\[Gamma]a[f_,i_,j_,k_,l_] :> Interpretation[StringForm["\[Gamma]a[``,````````]",f,i,j,k,l], \[Gamma]a[f,i,j,k,l]]
}


tests={\[Beta][f[Subscript[b, j],Subscript[b, k]]], \[Gamma][1,i,j], \[Gamma][1,i,k],  \[Gamma][1,i,l], \[Gamma][1,j,k], \[Gamma][1,j,l],  \[Gamma][1,k,l], \[Gamma][1,j,l,m], \[Gamma][1,i,j,l], \[Gamma][1,i,k,l], \[Gamma][1, k,l,m], \[Gamma][1,j,k,l], \[Gamma][1,i,j,k], a[1,j,k], a[1,j,l], a[1,i,k], a[1,i,j], a[1,k,l], a[1,l,m], \[Gamma]a[1,j,k,j,l]};
shows=Complement[tests, {\[Gamma][1,i,l], \[Gamma][1,j,l],\[Gamma][1,j,l,m],a[1,j,k],a[1,l,m]}];


Ad[a[t_,j_,k_]][a[1,j_,k_]] /; FreeQ[t,Subscript[b, _]] := a[1,j,k];

Ad[a[t_,j_,k_]][a[1,j_,l_]] /; DQ[j,k,l]\[And]FreeQ[t,Subscript[b, _]] := a[1,j,l]+\[Gamma][t,j,k,l]+\[Gamma]a[(1-E^(-t Subscript[b, j])-t Subscript[b, j])/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(2\)]\),j,k,j,l];Ad[a[t_,j_,k_]][a[1,i_,k_]] /; DQ[i,j,k]\[And]FreeQ[t,Subscript[b, _]] := a[E^(-t Subscript[b, j]),i,k]+a[((1-E^(-t Subscript[b, j])) Subscript[b, i])/Subscript[b, j],j,k]+\[Gamma]a[(E^(-2 t Subscript[b, j]) Subscript[b, i] (2 E^(t Subscript[b, j]) t Subscript[b, j]+1-E^(2 t Subscript[b, j])))/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(3\)]\),j,k,j,k]+\[Gamma]a[(E^(-2 t Subscript[b, j]) (E^(t Subscript[b, j]) (1-t Subscript[b, j])-1))/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(2\)]\),j,k,i,k];
Ad[a[t_,j_,k_]][a[1,i_,j_]] /; DQ[i,j,k]\[And]FreeQ[t,Subscript[b, _]] := a[1,i,j]+a[1-E^(-t Subscript[b, j]),i,k]+a[((E^(-t Subscript[b, j])-1) Subscript[b, i])/Subscript[b, j],j,k]+\[Gamma][(1-E^(-t Subscript[b, j]))/Subscript[b, j],i,j,k]+\[Gamma]a[(Subscript[b, i] (1-2 E^(-t Subscript[b, j]) t Subscript[b, j]-E^(-2 t Subscript[b, j])))/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(3\)]\),j,k,j,k]+\[Gamma]a[(E^(-t Subscript[b, j])+t Subscript[b, j]-1)/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(2\)]\),i,j,j,k]+\[Gamma]a[(E^(-t Subscript[b, j])+t Subscript[b, j]-1)/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(2\)]\),i,k,j,k]+\[Gamma]a[(E^(-2 t Subscript[b, j]) (1+E^(t Subscript[b, j]) (-1+t Subscript[b, j])))/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(2\)]\),j,k,i,k];
Ad[a[t_,j_,k_]][a[1,k_,l_]] /; DQ[j,k,l]\[And]FreeQ[t,Subscript[b, _]] := a[E^(t Subscript[b, j]),k,l]+a[((1-E^(t Subscript[b, j])) Subscript[b, k])/Subscript[b, j],j,l]+\[Gamma][(t Subscript[b, j] Subscript[b, k]+(1-E^(t Subscript[b, j]) )(Subscript[b, j]+Subscript[b, k]))/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(2\)]\),j,k,l]+\[Gamma]a[(1+E^(t Subscript[b, j]) (t Subscript[b, j]-1))/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(2\)]\),j,k,k,l]+\[Gamma]a[(E^(-t Subscript[b, j]) Subscript[b, j]+E^(t Subscript[b, j]) (Subscript[b, j]+2 Subscript[b, k]-t Subscript[b, j] Subscript[b, k])-2 Subscript[b, j]-2 Subscript[b, k]-t Subscript[b, j] Subscript[b, k])/
\!\(\*SubsuperscriptBox[\(b\), \(j\), \(3\)]\),j,k,j,l];
Ad[a[t_,j_,k_]][a[1,l_,m_]] /; DQ[j,k,l,m]\[And]FreeQ[t,Subscript[b, _]] := a[1,l,m];


Ad[x_][y_] := (Print["Ad not yet defined on ", {x,y}]; y);



