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



(* ::Input::Initialization:: *)
SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\HigherRank"];
Once[<<KnotTheory`; <<Rot.m];
Subscript[T, 3]=Subscript[T, 1] Subscript[T, 2];
SuperPlus[(SuperPlus[\[Alpha]_])]:=\!\(\*SuperscriptBox[\(\[Alpha]\), \("\<++\>"\)]\);    (* this is for cosmetic reasons only *)
Subscript[\[Delta], i_,j_]:=If[i===j,1,0];


(* ::Input::Initialization:: *)
CF[\[ScriptCapitalE]_]:=Factor@Together[\[ScriptCapitalE]];


(* ::Input::Initialization:: *)
gEval[\[ScriptCapitalE]_]:=CF[\[ScriptCapitalE]/.{Subscript[g, \[Nu]_,\[Alpha]_,\[Beta]_]:>(G[[\[Alpha],\[Beta]]]/.T->Subscript[T, \[Nu]])}];


(* ::Input::Initialization:: *)
Subscript[gRules, s_,i_,j_]:={
Subscript[g, \[Nu]_,i,\[Beta]_]:>Subscript[\[Delta], i,\[Beta]]+\!\(
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)] 
\*SubscriptBox[\(g\), \(\[Nu], i + 1, \[Beta]\)]\)+(1-\!\(\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)]\))Subscript[g, \[Nu],j+1,\[Beta]],Subscript[g, \[Nu]_,j,\[Beta]_]:>Subscript[\[Delta], j,\[Beta]]+Subscript[g, \[Nu],j+1,\[Beta]],
Subscript[g, \[Nu]_,\[Alpha]_,i]:>\!\(
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(-s\)] \((
\*SubscriptBox[\(g\), \(\[Nu], \[Alpha], i + 1\)] - 
\*SubscriptBox[\(\[Delta]\), \(\[Alpha], i + 1\)])\)\),Subscript[g, \[Nu]_,\[Alpha]_,j]:>Subscript[g, \[Nu],\[Alpha],j+1]-(1-\!\(\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)]\))Subscript[g, \[Nu],\[Alpha],i]-Subscript[\[Delta], \[Alpha],j+1]
}



