Updating program parameters.

In[309]:=

TreeIndex[p_, n_] := V[Tree[p, n]] ;  (* This map takes a player p and a step n, and computes the index of FormInd[n] in the view - tree of p from n . *)

We first write a program updating Tree[n], FormList[n], FormSign[n], FormInd[n].

In[310]:=

UpdateTree[{A_, s_}, n_, {Eview_, Aview_, CurrentPlay_}] := CompoundExpression[ ... 371;(* We store in FormInd[n] the current formula . *)FormInd[n] = A ; ] ;

Then we write a program updating MoveL[n], MoveCol[n].

In[311]:=

UpdateMove[{A_, s_}, n_, {Eview_, Aview_, CurrentPlay_}, move_, p_] := CompoundExpression[> ... "Abelard", CurrentPlay], nA + 1}, EdgeColorPlayerCol[p]}}] ; ] ;

A function updating views.

In[312]:=

UpdateView[s_, n_, {Eview_, Aview_, CurrentPlay_}] := CompoundExpression[(*We update V ... 71;View["Abelard", n, Dual[s]] = View["Abelard", Aview, Dual[s]] ; ] ;

A function updating the current goal.

In[313]:=

UpdateGoal[s_, n_, {Eview_, Aview_, CurrentPlay_}] := CompoundExpression[ɯ ... quot;Abelard", n] =   CurrentGoal["Abelard", CurrentPlay]]] ; ] ;

A function updating branches related to player p.

In[314]:=

UpdateBranch[p_, s_, n_, pview_, CurrentPlay_, {prevp_, nextp_}] := CompoundExpression[ ... ; BranchCol[p, n] =   Join[BranchCol[p, LCMbck], NewColor] ; ] ;

Created by Mathematica  (October 17, 2006)