s$ which suffices for a *general* choice of $F_i$. (See Bronowski [@Bronowski1] for a discussion of $n$-ary forms.) Here we consider a more general version, i.e., we fix $s$ and consider the locus $\Sigma$ of forms $\{F_1,\dots,F_t\}$ which admit such a representation. In practice, we allow not only representations as above, but also generalised additive decompositions (GADs) in the sense of [@IK Definition 1.30].

A finite collection ${{\underline L}}= \{L_i\} \subseteq S_1 \setminus \{0\}$ of linear forms will be called *admissible* if any two $L_i,L_j$ are nonproportional.

Let ${{\underline L}}$ be an admissible collection as above and $F \in S_d$. A *GAD for $F$ with respect to ${{\underline L}}$* is a collection $\{p_i\}$ of forms such that $F = \sum\limits_i p_i \, L_i^{d - \alpha_i}$, and $\alpha_i = \deg p_i < d$. (We set $\deg \, 0 = -1$ by convention.) The integer $\ell_{{{\underline \alpha}}} = \sum\limits_i (\alpha_i + 1)$ is called the *length* of the GAD.

If all $\alpha_i =0$, then this reduces to the expression (\[add.expression\]). Given sequences ${{\underline \alpha}}$ and ${{\underline L}}$ such that $-1 \le \alpha_i < d$, define a subspace $$W({{\underline \alpha}}, {{\underline L}}) = \sum S_{\alpha_i} L^{d-\alpha_i} \subseteq S_d.$$ (By convention, $S_{-1} = 0$.) Write $L_i = b_i y_1 - a_i y_2$, then by hypothesis, $[a_i,b_i]$ represent distinct points of ${{\mathbf P}}^1$.

With notation as above,

-   A form lies in $W({{\underline \alpha}}, {{\underline L}})$ iff it is apolar to $\prod\limits_i (a_i x_1 + b_i x_2)^{\alpha_i+1}$. In particular, $\dim W({{\underline \alpha}},{{\underline
s$ which suffices for a * general * choice of $ F_i$. (See Bronowski [ @Bronowski1 ] for a discussion of $ n$-ary form .) Here we think a more general version, i.e., we fix $ s$ and study the locus $ \Sigma$ of forms $ \{F_1,\dots, F_t\}$ which accommodate such a theatrical performance. In practice, we allow not only representations as above, but also generalize additive decompositions (GADs) in the common sense of [ @IK Definition 1.30 ]. 

 A finite collection $ { { \underline L}}= \{L_i\ } \subseteq S_1 \setminus \{0\}$ of linear forms will be called * admissible * if any two $ L_i, L_j$ are nonproportional. 

 Let $ { { \underline L}}$ be an admissible collection as above and $ F \in S_d$. A * GAD for $ F$ with respect to $ { { \underline L}}$ * is a solicitation $ \{p_i\}$ of forms such that $ F = \sum\limits_i p_i \, L_i^{d - \alpha_i}$, and $ \alpha_i = \deg p_i < d$. (We set $ \deg \, 0 = -1 $ by convention .) The integer $ \ell_{{{\underline \alpha } } } = \sum\limits_i (\alpha_i + 1)$ is call the * length * of the GAD. 

 If all $ \alpha_i = 0 $, then this reduces to the saying (\[add.expression\ ]). Given sequence $ { { \underline \alpha}}$ and $ { { \underline L}}$ such that $ -1 \le \alpha_i < d$, define a subspace $ $ W({{\underline \alpha } }, { { \underline L } }) = \sum S_{\alpha_i } L^{d-\alpha_i } \subseteq S_d.$$ (By convention, $ S_{-1 } = 0$.) Write $ L_i = b_i y_1 - a_i y_2 $, then by hypothesis, $ [ a_i, b_i]$ represent discrete points of $ { { \mathbf P}}^1$. 

 With notation as above, 

 -    A form lies in $ W({{\underline \alpha } }, { { \underline L}})$ iff it is apolar to $ \prod\limits_i (a_i x_1 + b_i x_2)^{\alpha_i+1}$. In particular, $ \dim W({{\underline \alpha}},{{\underline
s$ wjich suffices for a *geneval* choice of $F_i$. (See Brmnowskj [@Bronowrki1] for a discussion of $n$-ary firms.) Yere we consider a mord general version, i.e., xe fix $s$ and consider thc lochd $\Siyme$ of forms $\{F_1,\dotx,F_t\}$ which ddmit such a rapfedentation. In practice, we allow not jnly relrfsentations as abone, but also generalised additive decompoaitions (GADs) in the xense of [@IK Definition 1.30].

A flnitf collection ${{\underpine L}}= \{L_i\} \sogseewq S_1 \setminur \{0\}$ of linear forms wilm be called *admissible* if any tdo $L_i,K_j$ are nonkxipogjional.

Let ${{\unverlinv L}}$ be an admlxsible collecyion as above snd $F \un S_d$. A *GAD for $F$ witi respect to ${{\underlige L}}$* is a ckllection $\{p_i\}$ of firns suwh tvat $W = \sjm\ljmmts_j p_i \, P_i^{d - \alpha_i}$, ahd $\alpha_i = \eeg p_i < d$. (We set $\deb \, 0 = -1$ by conventjon.) Thq ynteger $\ell_{{{\underline \alpha}}} = \sum\limits_i (\dlpga_i + 1)$ is called the *lentth* of the GAD.

If all $\wlpha_i =0$, tren this reduces to the expression (\[add.expression\]). Civen reqbckces ${{\ynferline \alpha}}$ and ${{\underline L}}$ such that $-1 \le \ajlhs_i < d$, define a smbspace $$W({{\underline \appnw}}, {{\underline L}}) = \sum S_{\allha_i} L^{d-\alpha_i} \subsfteq S_d.$$ (By cinvention, $S_{-1} = 0$.) Write $L_i = b_i y_1 - a_i y_2$, then vy hypothesif, $[a_i,b_i]$ represent didtinct poincs of ${{\kathbg P}}^1$.

With notation as abore,

-   A form lies ln $W({{\undermkne \alpha}}, {{\underlkne L}})$ iff it is apolar to $\prod\lymits_i (a_i x_1 + y_i x_2)^{\alphx_i+1}$. Im partycular, $\dim W({{\undcsline \alpha}},{{\underlije
s$ which suffices for a *general* choice (See [@Bronowski1] for discussion of $n$-ary more version, i.e., we $s$ and consider locus $\Sigma$ of forms $\{F_1,\dots,F_t\}$ which such a representation. In practice, we allow not only representations as above, but generalised additive decompositions (GADs) in the sense of [@IK Definition 1.30]. A finite ${{\underline \{L_i\} S_1 \{0\}$ of linear forms will be called *admissible* if any two $L_i,L_j$ are nonproportional. Let ${{\underline be an admissible collection as above and $F S_d$. A *GAD for with respect to ${{\underline L}}$* a $\{p_i\}$ of such $F \sum\limits_i p_i \, - \alpha_i}$, and $\alpha_i = \deg p_i < d$. (We set $\deg \, 0 = -1$ by The integer = \sum\limits_i + is the *length* of If all $\alpha_i =0$, then this expression (\[add.expression\]). Given sequences ${{\underline \alpha}}$ and ${{\underline such that \le \alpha_i < d$, define a $$W({{\underline \alpha}}, {{\underline L}}) = \sum S_{\alpha_i} L^{d-\alpha_i} S_d.$$ (By convention, $S_{-1} = 0$.) Write $L_i = b_i y_1 - a_i y_2$, then $[a_i,b_i]$ represent distinct points ${{\mathbf P}}^1$. With as - form in $W({{\underline {{\underline L}})$ iff it is apolar to $\prod\limits_i (a_i x_1 + x_2)^{\alpha_i+1}$. In particular, $\dim W({{\underline \alpha}},{{\underline
s$ which suffices for a *general* Choice of $F_i$. (see BrOnoWskI [@BRonoWski1] For a discussion OF $n$-arY forms.) Here we consider a mOre geNeRAl veRSiOn, i.e., wE fix $s$ anD CoNSIdeR tHe LocUs $\sIgMa$ of fOrmS $\{F_1,\dots,F_T\}$ which admiT suCh A representatIOn. in practice, We aLlow not only rEprEsentaTiOns AS abovE, buT also GeneraLIsed adDitive decOmPOsitioNS (GADs) in THE sEnse Of [@IK Definition 1.30].

A fiNItE Collection ${{\undeRline L}}= \{l_i\} \SUbSETeq s_1 \seTminus \{0\}$ of liNeAr forMS will be CAlLED *AdmISsible* if any twO $L_i,L_j$ are nonPRopOrtionAl.

let ${{\UNderliNe L}}$ be An ADmiSsible colleCtioN as above aNd $F \in S_D$. a *GAD for $f$ With resPect to ${{\UndErlIne L}}$* IS a CoLleCtIOn $\{p_I\}$ Of ForMS suCh that $F = \sUm\LiMits_i P_i \, L_i^{D - \ALPHa_i}$, aNd $\aLpha_I = \deg p_I < d$. (We set $\deg \, 0 = -1$ by cOnvEntiON.) ThE inteGer $\elL_{{{\undErLine \aLpha}}} = \suM\limiTs_I (\alpha_i + 1)$ is called The *lEngth* of thE GAd.

IF alL $\aLpha_i =0$, THen thiS reDucEs to the ExpressIOn (\[aDd.EXPReSsion\]). Given sequenceS ${{\uNDErLine \alphA}}$ and ${{\unDErLiNE L}}$ such thAt $-1 \Le \aLpha_I < D$, DefinE a suBSpAce $$W({{\undeRline \aLPhA}}, {{\uNderlinE L}}) = \Sum S_{\alPhA_i} L^{D-\alPha_i} \sUBsetEq S_d.$$ (By ConventiOn, $S_{-1} = 0$.) WrITe $L_i = b_i y_1 - a_i y_2$, then BY hypothesis, $[a_i,B_I]$ rEPReSEnt dIstInct points oF ${{\matHBf P}}^1$.

WIth nOTaTioN As aboVe,

-   A foRm LIeS In $W({{\underline \alpha}}, {{\unDeRline L}})$ Iff it Is apolar to $\proD\limits_i (a_i X_1 + B_I X_2)^{\alpha_i+1}$. IN parTIcULar, $\dim W({{\underliNe \alpHa}},{{\underlinE
s$ which suffices for a *g eneral* ch oiceof$F_ i$ . (S ee B ronowski [@Bro n owsk i1] for a discussion o f $n$ -a r y fo r ms .) He re we c o ns i d eramo rege n er al ve rsi on, i.e ., we fix$s$  a nd considert he  locus $\S igm a$ of forms$\{ F_1,\d ot s,F _ t\}$whi ch ad mit su c h a re presentat io n . In p r actice, w eallo w not only repres e nt a tions as above , butal s og e ner ali sed additi ve  deco m positio n s( G A Ds) in the senseof [@IK Def i nit ion 1. 30 ].A fini te co ll e cti on ${{\unde rlin e L}}= \{ L_i\}\ subsete q  S_1 \s etminu s \ {0\ }$ o f  l in ear  f o rms wi llb e c alled *a dm is sible * if a n y  two  $L _i,L _j$ a re nonproport ion al.Let  ${{\ under line  L }}$ b e an a dmiss ib le collection a s ab ove and $ F \ in  S_ d$ . A * G AD for  $F $ w ith res pect to ${{ \u n d e rl ine L}}$* is a col le c t io n $\{p_i \}$ of fo rm s  such th at  $F  = \ s u m\lim its_ i  p _i \, L_ i^{d - \a lp ha_i}$,  a nd $\a lp ha_ i =  \deg p_i< d$.(We set$\deg \, 0 = -1$ byc onvention.) T h ei n te g er $ \el l_{{{\under line \alp ha}} }  =  \s u m\lim its_i  ( \ al p ha_i + 1)$ is calle dthe *l ength * of the GAD. 

If all $ \ a l pha_i =0 $, t h en this reduces t o the  expressio n  (\[add. expre ssion\]) . Given s e q uences $ {{\ und erl ine \ al pha}}$ and ${ { \ unde rl ine L}} $ s uch tha t $ -1\le  \a lp ha_i < d$ , define  a  s ub sp ace  $$W( { {\underl in e \ al pha }}, { { \under lineL}})  =  \ s umS_{\alp h a_ i }  L^{ d- \a lpha _i}  \ subse teqS _d. $$ (Byconventio n,$ S_{- 1}  =  0$.) W rite $L_i = b _i  y_1 - a_i  y _2$ , then b y hypoth esis, $[a_i,b_i]$ repre s ent dis tin ct po ints  of ${{\m ath bf P}} ^1$ . 

With  notat ion a sabo v e ,

-Afor mlies in $W ( { {\u nderl in e \a lpha}},  {{\underline L}}) $  if f it is apola r t o $\ p r od \li m it s _i(a _ i x _ 1  + b_i x_2)^{\a lpha_i+1}$ .I nparticular ,  $\ di m W({{\ underli ne \a l pha}},{ {\underli ne
s$ which_suffices for_a *general* choice of_$F_i$. (See_Bronowski_[@Bronowski1] for_a_discussion of $n$-ary_forms.) Here we_consider a more general_version, i.e., we_fix_$s$ and consider the locus $\Sigma$ of forms $\{F_1,\dots,F_t\}$ which admit such a representation._In_practice, we_allow_not_only representations as above, but_also generalised additive decompositions (GADs)_in the_sense of [@IK Definition 1.30].

A finite collection ${{\underline_L}}=_\{L_i\} \subseteq S_1_\setminus \{0\}$ of linear forms will be called *admissible*_if any two $L_i,L_j$ are nonproportional.

Let_${{\underline L}}$ be_an_admissible_collection as above and_$F \in S_d$. A *GAD for_$F$ with respect to ${{\underline L}}$*_is a collection $\{p_i\}$ of forms such_that $F = \sum\limits_i p_i \,_L_i^{d - \alpha_i}$, and $\alpha_i_= \deg_p_i < d$. (We set_$\deg \, 0_= -1$_by convention.) The_integer $\ell_{{{\underline \alpha}}} = \sum\limits_i (\alpha_i_+ 1)$ is_called the *length* of the GAD.

If_all_$\alpha_i =0$, then_this_reduces_to the_expression (\[add.expression\]). Given_sequences_${{\underline \alpha}}$_and_${{\underline L}}$ such that $-1 \le_\alpha_i_< d$, define a subspace $$W({{\underline \alpha}},_{{\underline L}}) = \sum_S_{\alpha_i}_L^{d-\alpha_i} \subseteq S_d.$$ (By_convention, $S_{-1} = 0$.) Write_$L_i = b_i y_1 - a_i_y_2$, then_by hypothesis,_$[a_i,b_i]$ represent distinct points of ${{\mathbf P}}^1$.

With notation as above,

- _ A form lies in $W({{\underline_\alpha}}, {{\underline L}})$ iff_it is_apolar_to $\prod\limits_i (a_i_x_1_+ b_i_x_2)^{\alpha_i+1}$. In particular, $\dim W({{\underline \alpha}},{{\underline