}\ldots c_{N'_{M'}}^{R'_{M'}}|_g$ into $u_g$’s we directly find that if we know $(1)$ we can compute $(2)$. For the other direction we note on the one hand that $$\label{eq-create} I \cdot \sum_{f \in P_g} \prod_{i=1}^j \bigl(b_i(C_f)-c_i(C_f)\bigr)^{s_i} \bigl(b_i(C_f)+c_i(C_f)\bigr)^{t_i}$$ can be formulated in terms of $b_{N_1}^{R_1}\ldots c_{N'_{M'}}^{R'_{M'}}|_g$’s of weight at most $$S:=\sum_{i=1}^j i \cdot (s_i+t_i).$$ If we on the other hand decompose into $u_g$’s we find that there is a unique $u_g$ of degree $S$. The corresponding tuple $(n_1^{r_1},\ldots,n_m^{r_m})$ contains, for each $i$, precisely $s_i$ entries of the form $i^1$ and $t_i$ entries of the form $i^2$. Every $u_g$ of degree $S$ can be created in this way and hence if we know $(2)$ we can compute $(1)$.

From the definitions of $a_i(C_f)$ and $r_i(C_f)$ we see that knowing $(1)$ and $(2)$ in Lemma \[lem-bc-u\] is also equivalent to knowing

-   all $a_{N_1}^{R_1}\ldots a_{N_M}^{R_M} r_{N'_1}^{R'_1} \ldots r_{N'_{M'}}^{R'_{M'}}|_g$ of weight at most $N$,

where $a_{N_1}^{R_1}\ldots r_{N'_{M'}}^{R'_{M'}}|_g$ is defined in the obvious way. Moreover, $a_{N_1}^{R_1}\ldots r_{N'_{M'}}^{R'_{M'}}|_g=0$ if $\sum_{i=1}^M R_i N_i$ is odd.
 = 6
} \ldots c_{N'_{M'}}^{R'_{M'}}|_g$ into $ u_g$ ’s we directly find that if we know $ (1)$ we can compute $ (2)$. For the early steering we note on the one hand that $ $ \label{eq - create } I \cdot \sum_{f \in P_g } \prod_{i=1}^j \bigl(b_i(C_f)-c_i(C_f)\bigr)^{s_i } \bigl(b_i(C_f)+c_i(C_f)\bigr)^{t_i}$$ can be give voice in price of $ b_{N_1}^{R_1}\ldots c_{N'_{M'}}^{R'_{M'}}|_g$ ’s of weight at most $ $ S:=\sum_{i=1}^j i \cdot (s_i+t_i).$$ If we on the early hand decompose into $ u_g$ ’s we find that there embody a unique $ u_g$ of degree $ S$. The represent tuple $ (n_1^{r_1},\ldots, n_m^{r_m})$ contains, for each $ i$, precisely $ s_i$ entries of the class $ i^1 $ and $ t_i$ submission of the form $ i^2$. Every $ u_g$ of academic degree $ S$ can be created in this direction and therefore if we know $ (2)$ we can compute $ (1)$. 

 From the definitions of $ a_i(C_f)$ and $ r_i(C_f)$ we witness that knowing $ (1)$ and $ (2)$ in Lemma \[lem - bc - u\ ] is also equivalent to sleep together 

 -    all $ a_{N_1}^{R_1}\ldots a_{N_M}^{R_M } r_{N'_1}^{R'_1 } \ldots r_{N'_{M'}}^{R'_{M'}}|_g$ of weight unit at most $ N$, 

 where $ a_{N_1}^{R_1}\ldots r_{N'_{M'}}^{R'_{M'}}|_g$ is define in the obvious way. Moreover, $ a_{N_1}^{R_1}\ldots r_{N'_{M'}}^{R'_{M'}}|_g=0 $ if $ \sum_{i=1}^M R_i N_i$ is odd. 
  = 6
}\ldohs c_{N'_{M'}}^{R'_{M'}}|_g$ into $u_g$’s we divectly find that if we nnow $(1)$ se can cumpute $(2)$. For the other directmon qe nouv on the one hand thag $$\label{eq-breate} I \xdot \wum_{f \in P_g} \prod_{i=1}^j \nngl(b_i(D_n)-c_i(C_f)\yijr)^{s_i} \bigl(b_i(C_f)+c_i(G_f)\bigr)^{t_i}$$ cat be formulateg kn terms of $b_{N_1}^{R_1}\ldots c_{N'_{M'}}^{R'_{M'}}|_g$’s of weighe at moxt $$S:=\sum_{i=1}^j i \cdot (s_i+t_p).$$ Yf ws on the other hand decompose into $u_g$’s we find that thrre is a unique $u_g$ of degrfe $S$. The corresponding tuple $(n_1^{r_1},\ldits,n_i^{e_m})$ contains, wor each $i$, precisely $s_j$ entries of the form $i^1$ and $t_i$ dntrizs of the firn $i^2$. Gvery $u_g$ of vegree $S$ can be crcsted it this eay and hence lf we kniw $(2)$ we can compute $(1)$.

Frmm the definitions of $a_i(C_f)$ dnb $r_i(C_f)$ we see that kniwung $(1)$ dnd $(2)$ in Uwmmx \[ltm-br-u\] js alsl esuivalent fo knowing

-   all $a_{N_1}^{R_1}\ldots a_{N_M}^{R_K} w_{B'_1}^{R'_1} \ldots r_{N'_{M'}}^{R'_{J'}}|_g$ of reyght at most $N$,

where $a_{N_1}^{R_1}\ldots r_{N'_{M'}}^{R'_{M'}}|_g$ is gefjned in the obvious way. Moreover, $a_{N_1}^{R_1}\ldots r_{N'_{L'}}^{R'_{M'}}|_g=0$ if $\stm_{i=1}^M R_i N_i$ is odd.
 = 6
}\ldots c_{N'_{M'}}^{R'_{M'}}|_g$ into $u_g$’s we directly find we $(1)$ we compute $(2)$. For on one hand that I \cdot \sum_{f P_g} \prod_{i=1}^j \bigl(b_i(C_f)-c_i(C_f)\bigr)^{s_i} \bigl(b_i(C_f)+c_i(C_f)\bigr)^{t_i}$$ can be in terms of $b_{N_1}^{R_1}\ldots c_{N'_{M'}}^{R'_{M'}}|_g$’s of weight at most $$S:=\sum_{i=1}^j i \cdot (s_i+t_i).$$ we on the other hand decompose into $u_g$’s we find that there is unique of $S$. corresponding tuple $(n_1^{r_1},\ldots,n_m^{r_m})$ contains, for each $i$, precisely $s_i$ entries of the form $i^1$ and $t_i$ of the form $i^2$. Every $u_g$ of degree can be created in way and hence if we $(2)$ can compute From definitions $a_i(C_f)$ and $r_i(C_f)$ see that knowing $(1)$ and $(2)$ in Lemma \[lem-bc-u\] is also equivalent to knowing - all $a_{N_1}^{R_1}\ldots r_{N'_1}^{R'_1} \ldots weight at $N$, $a_{N_1}^{R_1}\ldots is defined in way. Moreover, $a_{N_1}^{R_1}\ldots r_{N'_{M'}}^{R'_{M'}}|_g=0$ if $\sum_{i=1}^M odd. = 6
}\ldots c_{N'_{M'}}^{R'_{M'}}|_g$ into $u_g$’s we direcTly find thaT if we KnoW $(1)$ we CaN comPute $(2)$. for the other dirECtioN we note on the one hand thaT $$\labeL{eQ-CreaTE} I \Cdot \sUm_{f \in P_g} \PRoD_{I=1}^J \biGl(B_i(c_f)-c_I(C_F)\BiGr)^{s_i} \bIgl(B_i(C_f)+c_i(C_F)\bigr)^{t_i}$$ can Be fOrMulated in terMS oF $b_{N_1}^{R_1}\ldots c_{n'_{M'}}^{R'_{m'}}|_g$’s of weight aT moSt $$S:=\sum_{I=1}^j I \cdOT (s_i+t_i).$$ if wE on thE other HAnd decOmpose intO $u_G$’S we finD That theRE Is A uniQue $u_g$ of degree $S$. The COrREsponding tuple $(N_1^{r_1},\ldotS,n_M^{R_m})$ CONtaIns, For each $i$, prEcIsely $S_I$ entrieS Of THE ForM $I^1$ and $t_i$ entries Of the form $i^2$. EVEry $U_g$ of deGrEe $S$ CAn be crEated In THis Way and hence If we Know $(2)$ we can ComputE $(1)$.

from the DEfinitiOns of $a_I(C_f)$ And $R_i(C_f)$ WE sEe ThaT kNOwiNG $(1)$ aNd $(2)$ iN lemMa \[lem-bc-u\] Is AlSo equIvalENT TO knoWinG

-   all $A_{N_1}^{R_1}\ldOts a_{N_M}^{R_M} r_{N'_1}^{R'_1} \ldOts R_{N'_{M'}}^{R'_{m'}}|_G$ of WeighT at moSt $N$,

wHeRe $a_{N_1}^{R_1}\Ldots r_{n'_{M'}}^{R'_{M'}}|_g$ Is Defined in the obvIous Way. MoreovEr, $a_{n_1}^{R_1}\LdoTs R_{N'_{M'}}^{R'_{M'}}|_G=0$ If $\sum_{i=1}^m R_i n_i$ iS odd.
 = 6
}\ldots c_{N'_{M'}}^{R'_{M '}}|_g$ in to $u _g$ ’swe  dir ectl y find that if we k now $(1)$ we can compu te $( 2) $ . Fo r  t he ot her dir e ct i o n w eno teon th e one  ha nd that  $$\label{ eq- cr eate} I \cdo t  \ sum_{f \in  P_ g} \prod_{i= 1}^ j \big l( b_i ( C_f)- c_i (C_f) \bigr) ^ {s_i}\bigl(b_i (C _ f)+c_i ( C_f)\bi g r )^ {t_i }$$ can be formul a te d  in terms of $ b_{N_1 }^ { R_ 1 } \ld ots  c_{N'_{M' }} ^{R'_ { M'}}|_g $ ’s o f  we i ght at most $ $S:=\sum_{i = 1}^ j i \c do t ( s _i+t_i ).$$If weon the othe r ha nd decomp ose in t o $u_g$ ’ s we fi nd tha t t her e is aun iqu e$ u_g $  o f d e gre e $S$. T he  c orres pond i n g tupl e $ (n_1 ^{r_1 },\ldots,n_m^ {r_ m})$ con tains , for  eac h$i$,precis ely $ s_ i$ entries of t he f orm $i^1$  an d$t_ i$  entr i es ofthe  fo rm $i^2 $. Ever y  $u _g $ o fdegree $S$ can becr e a te d in thi s waya nd  h e nce if w ekno w $( 2 ) $ wecanc om pute $(1 )$.

F r om  t he defi ni tionsof  $a _i( C_f)$ and$r_i(C _f)$ wesee t h at knowing $(1 ) $ and $(2)$ i n  L e m ma \[le m-b c-u\] is al so e q uiva lent to  kn o wing
-  al l  $ a _{N_1}^{R_1}\ldotsa_ {N_M}^ {R_M}  r_{N'_1}^{R' _1} \ldots r _ {N'_{M'} }^{R ' _{ M '}}|_g$ of wei ght a t most $N$ , 

where$a_{N _1}^{R_1 }\ldots r _ { N'_{M'}} ^{R '_{ M'} }|_ g $  i s defined int h e ob vi ous way . M oreover , $ a_{ N_1 }^{ R_ 1}\ldotsr_{N'_{M '} }^ {R '_ {M' }}|_g = 0$ if $\ su m_{ i= 1}^ M R_i N_i$ i s odd .
 =  6 
}\ldots c_{N'_{M'}}^{R'_{M'}}|_g$_into $u_g$’s_we directly find that_if we_know_$(1)$ we_can_compute $(2)$. For_the other direction_we note on the_one hand that_$$\label{eq-create}_I \cdot \sum_{f \in P_g} \prod_{i=1}^j \bigl(b_i(C_f)-c_i(C_f)\bigr)^{s_i} \bigl(b_i(C_f)+c_i(C_f)\bigr)^{t_i}$$ can be formulated in terms of_$b_{N_1}^{R_1}\ldots_c_{N'_{M'}}^{R'_{M'}}|_g$’s of_weight_at_most $$S:=\sum_{i=1}^j i \cdot (s_i+t_i).$$_If we on the other_hand decompose_into $u_g$’s we find that there is a_unique_$u_g$ of degree_$S$. The corresponding tuple $(n_1^{r_1},\ldots,n_m^{r_m})$ contains, for each $i$,_precisely $s_i$ entries of the form_$i^1$ and $t_i$_entries_of_the form $i^2$. Every_$u_g$ of degree $S$ can be_created in this way and hence_if we know $(2)$ we can compute_$(1)$.

From the definitions of $a_i(C_f)$ and_$r_i(C_f)$ we see that knowing_$(1)$ and_$(2)$ in Lemma \[lem-bc-u\] is_also equivalent to_knowing

- _ all $a_{N_1}^{R_1}\ldots_a_{N_M}^{R_M} r_{N'_1}^{R'_1} \ldots r_{N'_{M'}}^{R'_{M'}}|_g$ of weight_at most $N$,

where_$a_{N_1}^{R_1}\ldots r_{N'_{M'}}^{R'_{M'}}|_g$ is defined in the_obvious_way. Moreover, $a_{N_1}^{R_1}\ldots_r_{N'_{M'}}^{R'_{M'}}|_g=0$_if_$\sum_{i=1}^M R_i_N_i$ is odd.
_=_6