(* ::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-10"];
<< "../Projects/MetaCalculi/MetaCalculi.m"


Subscript[T, i_]:=E^Subscript[b, i];
bConjugate[expr_]:= expr /. Subscript[b, i_] :> -Subscript[b, i];
bSimplify[expr_] := Assuming[Subscript[b, 1]>0\[And]Subscript[b, 2]>0\[And]Subscript[b, 3]>0\[And]Subscript[b, i]>0\[And]Subscript[b, j]>0, FullSimplify[PowerExpand[expr]]];
\[CapitalGamma]Simp=bSimplify;
R[a_,b_,p_] := \[CapitalGamma][1, Subscript[h, a]+Subscript[h, b] Subscript[T, a]^p, {Subscript[t, a],Subscript[t, b]}.({
 {1, 1-Subscript[T, a]^p},
 {0, Subscript[T, a]^p}
}).{Subscript[h, a],Subscript[h, b]}];



