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



dir=SetDirectory["C:/drorbn/AcademicPensieve/2014-07/MetaCalculi/"];
<< KnotTheory`
<< MetaCalculi-Program.m
\[CapitalGamma]Simp=Assuming[Subscript[T, 1]>0 && Subscript[T, 2]>0 && Subscript[T, 3]>0 && Subscript[T, 4]>0 && Subscript[T, 5]>0 && Subscript[T, 6]>0, Simplify[#]]&


tr[a_][\[CapitalGamma][\[Omega]_,\[Sigma]_, \[Lambda]_]] := Module[{\[Alpha],\[Theta],\[Psi],\[CapitalXi]},
({
 {\[Alpha], \[Theta]},
 {\[Psi], \[CapitalXi]}
})=({
 {\!\(
  \*SubscriptBox[\(\[PartialD]\), \(
   \*SubscriptBox[\(t\), \(a\)], 
   \*SubscriptBox[\(h\), \(a\)]\)]\[Lambda]\), \!\(
  \*SubscriptBox[\(\[PartialD]\), 
   SubscriptBox[\(t\), \(a\)]]\[Lambda]\)},
 {\!\(
  \*SubscriptBox[\(\[PartialD]\), 
   SubscriptBox[\(h\), \(a\)]]\[Lambda]\), \[Lambda]}
})/.Subscript[(t|h), a]->0;
\[CapitalGamma][\[Omega](1-\[Alpha]),\[Sigma] /. Subscript[h, a]->0,\[CapitalXi]+\[Psi]*\[Theta]/(1-\[Alpha])]// \[CapitalGamma]Collect];


TrB[a_][\[CapitalGamma][\[Omega]_,\[Sigma]_, \[Lambda]_]] := Module[{\[Alpha],\[Theta],\[Psi],\[CapitalXi]},
({
 {\[Alpha], \[Theta]},
 {\[Psi], \[CapitalXi]}
})=({
 {\!\(
  \*SubscriptBox[\(\[PartialD]\), \(
   \*SubscriptBox[\(t\), \(a\)], 
   \*SubscriptBox[\(h\), \(a\)]\)]\[Lambda]\), \!\(
  \*SubscriptBox[\(\[PartialD]\), 
   SubscriptBox[\(t\), \(a\)]]\[Lambda]\)},
 {\!\(
  \*SubscriptBox[\(\[PartialD]\), 
   SubscriptBox[\(h\), \(a\)]]\[Lambda]\), \[Lambda]}
})/.Subscript[(t|h), a]->0;
\[CapitalGamma][\[Omega](1-\[Alpha]),\[Sigma] /. Subscript[h, a]->0,(1-\[Alpha])\[CapitalXi]+\[Psi]*\[Theta]]// \[CapitalGamma]Collect];



