Algorithm 2R Recursive evaluation of properties

1:

\({\varphi }_{i}^{(p)}=0\)

2:

for \({\bf{v}}\equiv {\bf{v}}^{\prime} \cup {\bf{v}}^{\prime\prime} \leftarrow {\mathcal{G}}\) do

3:

 \({{\bf{A}}}_{i{\bf{v}}}={{\bf{A}}}_{i{\bf{v}}^{\prime} }{{\bf{A}}}_{i{\bf{v}}^{\prime\prime} }\)

4:

 for p do

5:

  \({\varphi }_{i}^{(p)}+\!={\tilde{{\bf{c}}}}_{{\mu }_{i}{\bf{v}}}^{(p)}{\rm{Re}}({{\bf{A}}}_{i{\bf{v}}})\)

6:

 end for

7:

end for