!:=\!\bar{g}(x^{\pm 1}_1,\ldots,x^{\pm 1})$ has a root $\mu_0\!\in\!({\mathbb{Z}}/p^{2L+1}{\mathbb{Z}})^n\setminus\{{\mathbf{O}}\}$ for some choice of signs, some choice of $i$, and some choice of initial term polynomial $\bar{f}$ of $f$ so that $\bar{g}(x)\!=\!x^{-a_i}\bar{f}(x)$. Writing $\bar{h}(x)\!=\!\gamma_0+\gamma_{i_1}x^{\alpha_{i_1}}+\cdots+
\gamma_{i_r}x^{\alpha_{i_r}}$ as before, it is clear that ${{\mathrm{ord}}}_p(\gamma_i \mu^{\alpha_i})\!\leq\!
{{\mathrm{ord}}}_p \gamma_0$ for some $i$ by the ultrametric inequality. So then, by Proposition \[prop:mat\], ${{\mathrm{ord}}}_p \bar{h}'(\mu)\!\leq\!L$, and then by Hensel’s Lemma, $\bar{h}$ has a root $\mu'\!\in\!{{\mathbb{Z}}^n}_p\setminus\{{\mathbf{O}}\}$. By Corollary \[cor:toric\], $h(x)\!:=\!\gamma_0+\gamma_1x^{\alpha_1}+\cdots+\gamma_nx^{\alpha_n}$ must then have a root $\mu\!\in\!({\mathbb{Z}}_p\setminus\{{\mathbf{O}}\})^n$. So by the definition of $h$, it is then clear that defining $\zeta_i\!=\!\mu^{\pm 1}_i$ for a suitable choice of signs, $\zeta\!:=\!(\zeta_1,\ldots,\zeta_n)$ is a root of $f$. [$\blacksquare$]{}

[**Part (b):**]{} Since the Legendre symbol $\left(\frac{a}{p}
\right)$ can be evaluated within $O((\log a)(\log p))$ bit operations [@bs Thm. 5.9.3, pg. 113], the criteria from Theorem \[thm:quad\] can clearly be checked in time polynomial in ${\mathrm{size}}(f)$. So we are done. [$\blacksquare$]{}

[**Part (c):**]{} Via the Smith Normal
!: = \!\bar{g}(x^{\pm 1}_1,\ldots, x^{\pm 1})$ has a root $ \mu_0\!\in\!({\mathbb{Z}}/p^{2L+1}{\mathbb{Z}})^n\setminus\{{\mathbf{O}}\}$ for some choice of signs, some option of $ i$, and some option of initial terminus polynomial $ \bar{f}$ of $ f$ so that $ \bar{g}(x)\!=\!x^{-a_i}\bar{f}(x)$. Writing $ \bar{h}(x)\!=\!\gamma_0+\gamma_{i_1}x^{\alpha_{i_1}}+\cdots+ 
 \gamma_{i_r}x^{\alpha_{i_r}}$ equally before, it is absolved that $ { { \mathrm{ord}}}_p(\gamma_i \mu^{\alpha_i})\!\leq\! 
 { { \mathrm{ord}}}_p \gamma_0 $ for some $ i$ by the ultrametric inequality. So then, by Proposition \[prop: mat\ ], $ { { \mathrm{ord}}}_p \bar{h}'(\mu)\!\leq\!L$, and then by Hensel ’s Lemma, $ \bar{h}$ has a beginning $ \mu'\!\in\!{{\mathbb{Z}}^n}_p\setminus\{{\mathbf{O}}\}$. By Corollary \[cor: toric\ ], $ h(x)\!:=\!\gamma_0+\gamma_1x^{\alpha_1}+\cdots+\gamma_nx^{\alpha_n}$ must then have a root $ \mu\!\in\!({\mathbb{Z}}_p\setminus\{{\mathbf{O}}\})^n$. thus by the definition of $ h$, it is then clear that defining $ \zeta_i\!=\!\mu^{\pm 1}_i$ for a desirable choice of signs, $ \zeta\!:=\!(\zeta_1,\ldots,\zeta_n)$ is a root of $ f$. [ $ \blacksquare$ ] { } 

 [ * * Part (b ): * * ] { } Since the Legendre symbol $ \left(\frac{a}{p } 
 \right)$ can be measure within $ O((\log a)(\log p))$ bit operations [ @bs Thm.   5.9.3, pg.   113 ], the criteria from Theorem \[thm: quad\ ] can clearly be checked in clock time polynomial in $ { \mathrm{size}}(f)$. So we are done. [ $ \blacksquare$ ] { } 

 [ * * Part (c ): * * ] { } Via the Smith Normal
!:=\!\bar{h}(x^{\pm 1}_1,\ldots,x^{\pm 1})$ has a roou $\mu_0\!\in\!({\mathbb{Z}}/p^{2L+1}{\majhvb{Z}})^n\sevminus\{{\mzthbf{O}}\}$ fur some choice of signs, some cyoice of $i$, and some choice uf initiap term pilyninial $\bar{f}$ of $f$ so bkat $\bzv{g}(x)\!=\!x^{-a_n}\ber{f}(x)$. Writing $\bat{h}(x)\!=\!\gamma_0+\gammd_{i_1}x^{\alpha_{i_1}}+\cdots+
\caomc_{i_r}x^{\alpha_{i_r}}$ as before, it is clear thwt ${{\mathtm{lrd}}}_p(\gamma_i \mu^{\ajpha_p})\!\lqq\!
{{\mafhrm{ord}}}_p \gamma_0$ for some $i$ by the umtrametgic inequality. So then, by Proposition \[prop:mwt\], ${{\mwthrm{ord}}}_p \bar{h}'(\mu)\!\lee\!L$, and then by Rwnsel’s Lemma, $\bar{h}$ has a root $\mu'\!\in\!{{\mzthbb{Z}}^n}_p\setminus\{{\mathbf{O}}\}$. By Coroulary \[cor:toric\], $y(x)\!:=\!\tamld_0+\gamma_1x^{\alphe_1}+\cdots+\damma_nx^{\alpha_k}$ must dhen hafe a root $\mu\!\in\!({\katibb{Z}}_p\setminus\{{\mathbf{O}}\})^n$. So uy the definition of $h$, it is dhzn clear that definint $\zeta_i\!=\!\ku^{\pm 1}_i$ fue a sujtebls choife kf signs, $\zsta\!:=\!(\zeta_1,\ldotw,\zeta_n)$ is a root of $f$. [$\vlacksquare$]{}

[**Padt (b):**]{} Synse the Legendre symbol $\left(\frac{a}{p}
\right)$ ban ge evaluated within $O((\lot a)(\log p))$ bit operatiojs [@bs Thm. 5.9.3, pg. 113], the criteria from Theorem \[thm:quad\] can clearly be ciezkeb in tkne polynomial in ${\mathrm{size}}(f)$. So we are done. [$\blasisausre$]{}

[**Part (c):**]{} Via bhe Smith Normal
!:=\!\bar{g}(x^{\pm 1}_1,\ldots,x^{\pm 1})$ has a root $\mu_0\!\in\!({\mathbb{Z}}/p^{2L+1}{\mathbb{Z}})^n\setminus\{{\mathbf{O}}\}$ choice signs, some of $i$, and polynomial of $f$ so $\bar{g}(x)\!=\!x^{-a_i}\bar{f}(x)$. Writing $\bar{h}(x)\!=\!\gamma_0+\gamma_{i_1}x^{\alpha_{i_1}}+\cdots+ as before, it is clear that \mu^{\alpha_i})\!\leq\! {{\mathrm{ord}}}_p \gamma_0$ for some $i$ by the ultrametric inequality. So then, by \[prop:mat\], ${{\mathrm{ord}}}_p \bar{h}'(\mu)\!\leq\!L$, and then by Hensel’s Lemma, $\bar{h}$ has a root $\mu'\!\in\!{{\mathbb{Z}}^n}_p\setminus\{{\mathbf{O}}\}$. Corollary $h(x)\!:=\!\gamma_0+\gamma_1x^{\alpha_1}+\cdots+\gamma_nx^{\alpha_n}$ then a root $\mu\!\in\!({\mathbb{Z}}_p\setminus\{{\mathbf{O}}\})^n$. So by the definition of $h$, it is then clear that defining $\zeta_i\!=\!\mu^{\pm for a suitable choice of signs, $\zeta\!:=\!(\zeta_1,\ldots,\zeta_n)$ is root of $f$. [$\blacksquare$]{} (b):**]{} Since the Legendre symbol \right)$ be evaluated $O((\log p))$ operations [@bs Thm. pg. 113], the criteria from Theorem \[thm:quad\] can clearly be checked in time polynomial in ${\mathrm{size}}(f)$. So are done. (c):**]{} Via Smith
!:=\!\bar{g}(x^{\pm 1}_1,\ldots,x^{\pm 1})$ has a root $\mu_0\!\In\!({\mathbb{Z}}/p^{2l+1}{\mathBb{Z}})^N\seTmInus\{{\MathBf{O}}\}$ for some choiCE of sIgns, some choice of $i$, and soMe choIcE Of inITiAl terM polynoMIaL $\BAr{f}$ Of $F$ sO thAt $\BAr{G}(x)\!=\!x^{-a_i}\Bar{F}(x)$. WritiNg $\bar{h}(x)\!=\!\gamMa_0+\gAmMa_{i_1}x^{\alpha_{i_1}}+\cdOTs+
\Gamma_{i_r}x^{\alPha_{I_r}}$ as before, it Is cLear thAt ${{\MatHRm{ord}}}_P(\gaMma_i \mU^{\alpha_I})\!\Leq\!
{{\matHrm{ord}}}_p \gaMmA_0$ For somE $I$ by the uLTRaMetrIc inequality. So theN, By pRoposition \[prop:Mat\], ${{\matHrM{OrD}}}_P \Bar{H}'(\mu)\!\Leq\!L$, and theN bY HensEL’s Lemma, $\BAr{H}$ HAS a rOOt $\mu'\!\in\!{{\mathbb{Z}}^N}_p\setminus\{{\mAThbF{O}}\}$. By CoRoLlaRY \[cor:toRic\], $h(x)\!:=\!\GaMMa_0+\gAmma_1x^{\alpha_1}+\cDots+\Gamma_nx^{\alPha_n}$ muST then haVE a root $\mU\!\in\!({\matHbb{z}}_p\sEtmiNUs\{{\MaThbF{O}}\})^N$. so bY ThE deFIniTion of $h$, iT iS tHen clEar tHAT DEfinIng $\Zeta_I\!=\!\mu^{\pm 1}_I$ for a suitable ChoIce oF SigNs, $\zetA\!:=\!(\zeta_1,\LdotS,\zEta_n)$ iS a root Of $f$. [$\blAcKsquare$]{}

[**Part (b):**]{} SinCe thE Legendre SymBoL $\leFt(\Frac{a}{P}
\Right)$ cAn bE evAluated Within $O((\LOg a)(\LoG P))$ BIt Operations [@bs Thm. 5.9.3, pg. 113], tHe CRItEria from theoreM \[ThM:qUAd\] can cleArLy bE cheCKEd in tIme pOLyNomial in ${\Mathrm{SIzE}}(f)$. so we are DoNe. [$\blacKsQuaRe$]{}

[**PArt (c):**]{} VIA the smith NOrmal
!:=\!\bar{g}(x^{\pm 1}_1,\ ldots,x^{\ pm 1} )$has  a  roo t $\ mu_0\!\in\!({\ m athb b{Z}}/p^{2L+1}{\mathbb {Z}}) ^n \ setm i nu s\{{\ mathbf{ O }} \ } $ f or  s ome  c h oi ce of  si gns, so me choiceof$i $, and somec ho ice of ini tia l term polyn omi al $\b ar {f} $  of $ f$so th at $\b a r{g}(x )\!=\!x^{ -a _ i}\bar { f}(x)$. W ri ting  $\bar{h}(x)\!=\! \ ga m ma_0+\gamma_{i _1}x^{ \a l ph a _ {i_ 1}} +\cdots+
\ ga mma_{ i _r}x^{\ a lp h a _ {i_ r }}$ as before , it is cle a r t hat ${ {\ mat h rm{ord }}}_p (\ g amm a_i \mu^{\a lpha _i})\!\le q\!
{{ \ mathrm{ o rd}}}_p  \gamm a_0 $ f or s o me  $ i$by the ul tra m etr ic inequ al it y. So  the n , b y Pr opo siti on \[ prop:mat\], $ {{\ math r m{o rd}}} _p \b ar{h }' (\mu) \!\leq \!L$,  a nd then by Hens el’s  Lemma, $ \ba r{ h}$  h as ar oot $\ mu' \!\ in\!{{\ mathbb{ Z }}^ n} _ p \ se tminus\{{\mathbf{O }} \ } $.  By Coro llary\ [c or : toric\],  $ h(x )\!: = \ !\gam ma_0 + \g amma_1x^ {\alph a _1 }+ \cdots+ \g amma_n x^ {\a lph a_n}$ must  thenhave a r oot $ \ mu\!\in\!({\ma t hbb{Z}}_p\set m in u s \{ { \mat hbf {O}}\})^n$.  Sob y th e de f in iti o n of$h$,it is then clear that def in ing $\ zeta_ i\!=\!\mu^{\p m 1}_i$ fo r a  suitabl e ch o ic e  of signs, $\z eta\! :=\!(\zeta _ 1,\ldots ,\zet a_n)$ is  a root o f $f$. [$\ bla cks qua re$ ] { }
[**Part (b): * * ]{}Si nce the  Le gendresym bol  $\ lef t( \frac{a}{ p}
\righ t) $ca nbeevalu a ted with in  $O (( \lo g a)( \ log p) )$ bi t op er at i ons  [@bs T h m. 5 .9.3 ,pg . 11 3],  t he cr iter i a f rom The orem \[th m:q u ad\]  c an  clearl y be checkedin  time poly no mia l in $ { \ mathrm{s ize}}(f)$. So we are do n e. [$\b lac ksqua re$] {}

[**Pa rt(c):** ]{} Via th e Smit h Nor ma l
!:=\!\bar{g}(x^{\pm 1}_1,\ldots,x^{\pm_1})$ has_a root $\mu_0\!\in\!({\mathbb{Z}}/p^{2L+1}{\mathbb{Z}})^n\setminus\{{\mathbf{O}}\}$ for_some choice_of_signs, some_choice_of $i$, and_some choice of_initial term polynomial $\bar{f}$_of $f$ so_that_$\bar{g}(x)\!=\!x^{-a_i}\bar{f}(x)$. Writing $\bar{h}(x)\!=\!\gamma_0+\gamma_{i_1}x^{\alpha_{i_1}}+\cdots+
\gamma_{i_r}x^{\alpha_{i_r}}$ as before, it is clear that ${{\mathrm{ord}}}_p(\gamma_i \mu^{\alpha_i})\!\leq\!
{{\mathrm{ord}}}_p \gamma_0$ for some_$i$_by the_ultrametric_inequality._So then, by Proposition \[prop:mat\],_${{\mathrm{ord}}}_p \bar{h}'(\mu)\!\leq\!L$, and then by_Hensel’s Lemma,_$\bar{h}$ has a root $\mu'\!\in\!{{\mathbb{Z}}^n}_p\setminus\{{\mathbf{O}}\}$. By Corollary \[cor:toric\],_$h(x)\!:=\!\gamma_0+\gamma_1x^{\alpha_1}+\cdots+\gamma_nx^{\alpha_n}$_must then have_a root $\mu\!\in\!({\mathbb{Z}}_p\setminus\{{\mathbf{O}}\})^n$. So by the definition of $h$,_it is then clear that defining_$\zeta_i\!=\!\mu^{\pm 1}_i$ for_a_suitable_choice of signs, $\zeta\!:=\!(\zeta_1,\ldots,\zeta_n)$_is a root of $f$. [$\blacksquare$]{}

[**Part_(b):**]{} Since the Legendre symbol $\left(\frac{a}{p}
\right)$_can be evaluated within $O((\log a)(\log p))$_bit operations [@bs Thm. 5.9.3, pg. 113], the_criteria from Theorem \[thm:quad\] can_clearly be_checked in time polynomial in_${\mathrm{size}}(f)$. So we_are done._[$\blacksquare$]{}

[**Part (c):**]{} Via_the Smith Normal