(* ::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-06/"];
<< KnotTheory`
<< "MetaCalculi/MetaCalculi-Program.m"
\[CapitalGamma]Simp=Factor;
G[1] = \[Epsilon][1] // \[CapitalGamma];
G[n_] /; n>1 := G[n]= (G[n-1] // q\[CapitalDelta][n-1,n-1,n])**(Xp[n-1,n] // \[CapitalGamma]);
Gi[n_] := Gi[n] = G[n]^-1;