 variables and the number of constraints. We must try to keep each of them low. For such purposes, we employ some techniques used in [@BRS90; @BS86; @N07; @NMF07]. Let us review these techniques briefly.

### Fixing a basis {#BasisFix}

A technique explained in the following was introduced in [@BS86] and was used to reduce the degrees of constraints and the number of variables in [@BS86; @N07; @NMF07].

We assume that $\chi (i_1,...,i_r)=+$ for some $i_1,...,i_r$ by taking the negative of $\chi$ if necessary. Let $M_V:=(v_1,...,v_n) \in \mathbb{R}^{d \times n}$ be the representation matrix of a vector configuration $V$. Because the combinatorial type of $V$ is invariant under any invertible linear transformations, we can assume that $v_{b_{1}}=(1,0,...,0)^{T},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}$ for an $r$-tuple $(b_1,...,b_r) \in \Lambda (n,r)$ such that $\chi (b_1,...,b_r) = +$. We call such an $r$-tuple of indices a [*basis*]{}. We obtain a new polynomial system as follows. $$\label{BasisFix:eq1}
\begin{cases}
{\rm sign}(\det(v_{i_{1}},...,v_{i_{r}})) = \chi (i_{1},...,i_{r}) \text{ for all $(i_{1},...,i_{r}) \in \Lambda(n,r),$ and} \\
v_{b_{1}}=(1,0,...,0)^{T},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}.
\end{cases}$$ The resulting polynomial system (\[BasisFix:eq1\]) depends on the choice of bases. In the next section, we present how to find a suitable basis.

Finally, note that the degree of each constraint can be computed easily by the following formula: $$deg(\det(v_{i_{
variables and the number of constraints. We must try to observe each of them depleted. For such purposes, we employ some techniques use in [ @BRS90; @BS86; @N07; @NMF07 ]. Let us review these techniques concisely. 

 # # # Fixing a basis { # BasisFix } 

 A technique explain in the following was introduced in   [ @BS86 ] and was use to reduce the degrees of restraint and the numeral of variables in   [ @BS86; @N07; @NMF07 ]. 

 We assume that $ \chi (i_1,... ,i_r)=+$ for some $ i_1,... ,i_r$ by taking the negative of $ \chi$ if necessary. Let $ M_V:=(v_1,... ,v_n) \in \mathbb{R}^{d \times n}$ be the theatrical performance matrix of a vector configuration $ V$. Because the combinatorial type of $ V$ is changeless under any invertible linear transformations, we can assume that $ v_{b_{1}}=(1,0,... ,0)^{T},v_{b_{2}}=(0,1,0,... ,0)^{T},... ,v_{b_{r}}=(0,... ,0,1)^{T}$ for an $ r$-tuple $ (b_1,... ,b_r) \in \Lambda (n, r)$ such that $ \chi (b_1,... ,b_r) = + $. We call such an $ r$-tuple of indices a [ * footing * ] { }. We obtain a modern polynomial system as follows. $ $ \label{BasisFix: eq1 } 
 \begin{cases } 
 { \rm sign}(\det(v_{i_{1}},... ,v_{i_{r } }) ) = \chi (i_{1},... ,i_{r }) \text { for all $ (i_{1},... ,i_{r }) \in \Lambda(n, r),$ and } \\ 
 v_{b_{1}}=(1,0,... ,0)^{T},v_{b_{2}}=(0,1,0,... ,0)^{T},... ,v_{b_{r}}=(0,... ,0,1)^{T }. 
 \end{cases}$$ The resulting polynomial arrangement (\[BasisFix: eq1\ ]) depends on the choice of bases. In the next section, we present how to find a suitable basis. 

 Finally, note that the degree of each constraint can be computed easily by the following formula: $ $ deg(\det(v_{i _ {
 vagiables and the number on constraints. We must tcy to ksep each of them low. For such purposxs, ww empooy some techniques usdd in [@BRS90; @BS86; @N07; @NMD07]. Leu us review these techniqmzs brjcfly.

### Yieing a basis {#BaxisFix}

A tewhnique explaitea nn the following was introduced in [@BS86] and wax ksed to reduce the qegrsvs of constraints and the numbed of vagiables in [@BS86; @N07; @NMG07].

We assume that $\chi (i_1,...,i_r)=+$ fog sole $i_1,...,i_r$ by taking tje negative of $\syi$ if necessxry. Let $M_V:=(n_1,...,r_n) \in \mathbg{R}^{d \times n}$ be the representatiun macrix of a vgeror wonfiguratiin $V$. Fecause the gpmbinadorial yype of $V$ is ikvarient ynder any invertible ninear transformatyons, we cdn assume that $v_{b_{1}}=(1,0,...,0)^{T},v_{v_{2}}=(0,1,0,...,0)^{T},...,c_{b_{r}}=(0,...,0,1)^{T}$ xor dn $r$-gypld $(b_1,...,g_r) \ih \Lambfa (i,r)$ such thaf $\chi (b_1,...,b_r) = +$. We call such an $r$-tipjv of indices z [*basif*]{}. Re obtain a new polynomial system as fonloss. $$\label{BasisFix:eq1}
\begin{xases}
{\rm sign}(\det(v_{i_{1}},...,v_{i_{r}})) = \chi (i_{1},...,i_{r}) \eext{ for all $(i_{1},...,i_{r}) \in \Lambda(n,r),$ and} \\
v_{b_{1}}=(1,0,...,0)^{T},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}.
\end{casas}$$ Thx fesboting popynomial system (\[BasisFix:eq1\]) depends on the choyde on bases. In the ncxt section, we prexejt row to find a suitayme basis.

Finally, note that tre detree of ewch vonstraint can be computed wasily by thv foolowing formula: $$dey(\det(v_{i_{
variables and the number of constraints. We to each of low. For such used [@BRS90; @BS86; @N07; Let us review techniques briefly. ### Fixing a basis A technique explained in the following was introduced in [@BS86] and was used reduce the degrees of constraints and the number of variables in [@BS86; @N07; We that (i_1,...,i_r)=+$ some $i_1,...,i_r$ by taking the negative of $\chi$ if necessary. Let $M_V:=(v_1,...,v_n) \in \mathbb{R}^{d \times n}$ the representation matrix of a vector configuration $V$. the combinatorial type of is invariant under any invertible transformations, can assume $v_{b_{1}}=(1,0,...,0)^{T},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}$ an $(b_1,...,b_r) \in \Lambda such that $\chi (b_1,...,b_r) = +$. We call such an $r$-tuple of indices a [*basis*]{}. We obtain new polynomial follows. $$\label{BasisFix:eq1} {\rm = (i_{1},...,i_{r}) \text{ for \in \Lambda(n,r),$ and} \\ v_{b_{1}}=(1,0,...,0)^{T},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}. \end{cases}$$ system (\[BasisFix:eq1\]) depends on the choice of bases. the next we present how to find a basis. Finally, note that the degree of each can be computed easily by the following formula: $$deg(\det(v_{i_{
 variables and the number of coNstraints. WE must Try To kEeP eacH of tHem low. For such pURposEs, we employ some techniquEs useD iN [@bRS90; @Bs86; @n07; @NmF07]. Let Us revieW ThESE teChNiQueS bRIeFly.

### FiXinG a basis {#basisFix}

A tEchNiQue explained IN tHe followinG waS introduced iN [@BS86] And was UsEd tO ReducE thE degrEes of cONstraiNts and the NuMBer of vARiables IN [@bS86; @n07; @NMF07].

we assume that $\chi (i_1,...,i_R)=+$ FoR Some $i_1,...,i_r$ by takinG the neGaTIvE OF $\chI$ if Necessary. LEt $m_V:=(v_1,...,v_n) \IN \mathbb{r}^{D \tIMES n}$ bE The representaTion matrix oF A veCtor coNfIguRAtion $V$. becauSe THe cOmbinatoriaL typE of $V$ is invAriant UNder any INvertibLe lineAr tRanSforMAtIoNs, wE cAN asSUmE thAT $v_{b_{1}}=(1,0,...,0)^{t},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}$ FoR aN $r$-tupLe $(b_1,...,b_R) \IN \lAmbdA (n,r)$ Such That $\cHi (b_1,...,b_r) = +$. We call suCh aN $r$-tuPLe oF indiCes a [*bAsis*]{}. we ObtaiN a new pOlynoMiAl system as folloWs. $$\laBel{BasisFIx:eQ1}
\bEgiN{cAses}
{\rM Sign}(\deT(v_{i_{1}},...,V_{i_{r}})) = \Chi (i_{1},...,i_{r}) \tExt{ for aLL $(i_{1},...,i_{R}) \iN \lAMbDa(n,r),$ and} \\
v_{b_{1}}=(1,0,...,0)^{T},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}.
\eNd{CASeS}$$ The resuLting pOLyNoMIal systeM (\[BAsiSFix:EQ1\]) DepenDs on THe Choice of Bases. IN ThE nExt sectIoN, we preSeNt hOw tO find A SuitAble baSis.

FinalLy, notE That the degree oF Each constrainT CaN BE cOMputEd eAsily by the fOlloWIng fOrmuLA: $$dEg(\dET(v_{i_{
 variables and the numberof constra ints.  We  mu st  try  tokeep each of t h em l ow. For such purposes,  we e mp l oy s o me  tech niquesu se d in[@ BR S90 ;@ BS 86; @ N07 ; @NMF0 7]. Let us  re vi ew these tec h ni ques brief ly. 

### Fixing  abasis{# Bas i sFix} 

A  tech niquee xplain ed in the  f o llowin g  was in t r od uced  in [@BS86] and w a su sed to reducethe de gr e es o f c ons traints an dthe n u mber of va r i a ble s  in [@BS86; @ N07; @NMF07 ] .
We ass um e t h at $\c hi (i _1 , ... ,i_r)=+$ fo r so me $i_1,. ..,i_r $  by tak i ng thenegati veof$\ch i $if  ne ce s sar y .Let $M_ V:=(v_1, .. ., v_n)\in\ m a t hbb{ R}^ {d \ times  n}$ be the r epr esen t ati on ma trixof a  v ector  confi gurat io n $V$. Becausethecombinato ria ltyp eof $V $  is in var ian t under  any in v ert ib l e li near transformatio ns , we  can ass ume th a t$v _ {b_{1}}= (1 ,0, ..., 0 ) ^{T}, v_{b _ {2 }}=(0,1, 0,..., 0 )^ {T },...,v _{ b_{r}} =( 0,. .., 0,1)^ { T}$for an  $r$-tup le $( b _1,...,b_r) \i n  \Lambda (n,r ) $s u ch that  $\ chi (b_1,.. .,b_ r ) =+$.W ecal l  such  an $ r$ - tu p le of indices a [*b as is*]{} . Weobtain a newpolynomial s y stem asfoll o ws .  $$\label{Basi sFix: eq1}
\begi n {cases}{\rmsign}(\d et(v_{i_{ 1 } },...,v_ {i_ {r} }))  =\ c hi  (i_{1},...,i _ { r})\t ext{ fo r a ll $(i_ {1} ,.. .,i _{r })  \in \Lam bda(n,r) ,$  a nd }\\v_{b_ { 1}}=(1,0 ,. .., 0) ^{T },v_{ b _{2}}= (0,1, 0,.. ., 0) ^ {T} ,...,v_ { b_ { r }}=( 0, .. .,0, 1)^ {T }.
\e nd{c a ses }$$ The  resultin g p o lyno mi al  system  (\[BasisFix: eq 1\]) depen ds  on  the c h o ice of b ases. In the next secti o n, we p res ent h ow t o find asui tablebas i s.

Fi nally,  note  t hat t he de g r ee  of  e ach constr a i ntcan b ecomp uted ea sily by the follow i ngformula: $$de g(\ det( v _ {i _{
 variables_and the_number of constraints. We_must try_to_keep each_of_them low. For_such purposes, we_employ some techniques used_in [@BRS90; @BS86;_@N07;_@NMF07]. Let us review these techniques briefly.

### Fixing a basis {#BasisFix}

A technique explained in_the_following was_introduced_in [@BS86]_and was used to reduce_the degrees of constraints and_the number_of variables in [@BS86; @N07; @NMF07].

We assume that $\chi_(i_1,...,i_r)=+$_for some $i_1,...,i_r$_by taking the negative of $\chi$ if necessary. Let_$M_V:=(v_1,...,v_n) \in \mathbb{R}^{d \times n}$ be_the representation matrix_of_a_vector configuration $V$. Because_the combinatorial type of $V$ is_invariant under any invertible linear transformations,_we can assume that $v_{b_{1}}=(1,0,...,0)^{T},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}$ for an_$r$-tuple $(b_1,...,b_r) \in \Lambda (n,r)$ such_that $\chi (b_1,...,b_r) = +$._We call_such an $r$-tuple of indices_a [*basis*]{}. We_obtain a_new polynomial system_as follows. $$\label{BasisFix:eq1}
\begin{cases}
{\rm sign}(\det(v_{i_{1}},...,v_{i_{r}})) = \chi_(i_{1},...,i_{r}) \text{ for_all $(i_{1},...,i_{r}) \in \Lambda(n,r),$ and} \\
v_{b_{1}}=(1,0,...,0)^{T},v_{b_{2}}=(0,1,0,...,0)^{T},...,v_{b_{r}}=(0,...,0,1)^{T}.
\end{cases}$$_The_resulting polynomial system_(\[BasisFix:eq1\])_depends_on the_choice of bases._In_the next_section,_we present how to find a_suitable_basis.

Finally, note that the degree of each_constraint can be computed_easily_by the following formula:_$$deg(\det(v_{i_{