
positive-definite

(resp. negative-definite) if $Q(X)\geq 0$ (resp. $Q(X)\leq 0$) for all $X\in {\mathbb{Q}}^n$ and $Q(X)=0$ if and only if $m=0$. In this paper, we are mostly interested in positive-definite integral ternary quadratic forms. For further information about ternary quadratic forms, a good survey may be found in [@Hanke].

We split the quadratic forms into

classes

, sets of quadratic forms which are equivalent under the action of ${\operatorname{GL}}_3({\mathbb{Z}})$. Two forms $Q$ and $\mathcal{Q}$ in the same class are referred to as

globally-equivalent

and we simply write $Q\sim_Z \mathcal{Q}$ for this relation. Classes are then grouped together based on their local conditions. For a positive-definite integral quadratic form ($a_{ij}\in{\mathbb{Z}}$) $$Q(X) = \sum_{1\leq i\leq j\leq n } a_{ij} X_i X_j,$$ since ${\mathbb{Z}}$ embeds into the $\ell$-adic integers ${\mathbb{Z}}_{\ell}$, it is natural to allow $X\in{\mathbb{Z}}_{\ell}$ and consider $Q$ as a quadratic form over ${\mathbb{Z}}_{\ell}$ (equivalently, we may tensor the Gram matrix with ${\mathbb{Z}}_{\ell}$ over ${\mathbb{Z}}$). Considering $Q$ over all ${\mathbb{Z}}_{\ell}$ simultaneously leads to an adelic interpretation; we do not investigate this further here, but simply note that we obtain a quadratic form $Q_{\ell}$ for each prime $\ell$. Two quadratic forms $Q$ and $\mathcal{Q}$ are

locally-equivalent

at the prime $\ell$ if they are equal under the action of an element of ${\operatorname{GL}}_3({\mathbb{Z}}_{\ell})$, and we denote this equivalence by $Q\sim_{{\mathbb{Z}}_{\ell}} \mathcal{Q}$. The set of equivalence classes which are locally-equivalent at all primes we call the

genus

of $Q$, and (a set of representatives for) the classes in the genus we denote by ${\operatorname{gen}}(Q)$. For the ternary case, the genus is then further
positive - definite 

 (resp. negative - definite) if $ Q(X)\geq 0 $ (resp. $ Q(X)\leq 0 $) for all $ X\in { \mathbb{Q}}^n$ and $ Q(X)=0 $ if and only if $ m=0$. In this paper, we are largely concerned in positive - definite integral ternary quadratic form. For further data about ternary quadratic forms, a good survey may be establish in [ @Hanke ]. 

 We split the quadratic forms into 

 classes 

, sets of quadratic forms which are equivalent under the legal action of $ { \operatorname{GL}}_3({\mathbb{Z}})$. Two forms $ Q$ and $ \mathcal{Q}$ in the same course are referred to as 

 globally - equivalent 

 and we plainly write $ Q\sim_Z \mathcal{Q}$ for this relation. class are then grouped together based on their local condition. For a positive - definite integral quadratic form ($ a_{ij}\in{\mathbb{Z}}$) $ $ Q(X) = \sum_{1\leq i\leq j\leq n } a_{ij } X_i X_j,$$ since $ { \mathbb{Z}}$ embeds into the $ \ell$-adic integer $ { \mathbb{Z}}_{\ell}$, it is natural to admit $ X\in{\mathbb{Z}}_{\ell}$ and consider $ Q$ as a quadratic form over $ { \mathbb{Z}}_{\ell}$ (equivalently, we may tensor the Gram matrix with $ { \mathbb{Z}}_{\ell}$ over $ { \mathbb{Z}}$). Considering $ Q$ over all $ { \mathbb{Z}}_{\ell}$ simultaneously leave to an adelic interpretation; we do not investigate this further here, but simply note that we obtain a quadratic mannequin $ Q_{\ell}$ for each prime $ \ell$. Two quadratic forms $ Q$ and $ \mathcal{Q}$ are 

 locally - equivalent 

 at the prime $ \ell$ if they are equal under the action of an element of $ { \operatorname{GL}}_3({\mathbb{Z}}_{\ell})$, and we denote this equivalence by $ Q\sim_{{\mathbb{Z}}_{\ell } } \mathcal{Q}$. The set of equivalence class which are locally - equivalent at all primes we call the 

 genus 

 of $ Q$, and (a hardening of representatives for) the classes in the genus we denote by $ { \operatorname{gen}}(Q)$. For the ternary case, the genus is then far

posltive-definite

(resp. negatiye-definite) if $Q(X)\ywq 0$ (revp. $Q(X)\lsq 0$) for xll $X\in {\mathbb{Q}}^n$ and $Q(X)=0$ if aid obly id $m=0$. In this paper, we afe mostly interesred mn positive-definmfe intenxal tsvnary wuadratic formx. For furtver informatiot xblut ternary quadratic forms, a good furvey kaj be found in [@Rankt].

We spljn uhe quadratic forms into

classes

, ssts of xuadratic forks which are equivalent unfer hhe action of ${\operwtorname{GL}}_3({\mqthbf{Z}})$. Two forms $D$ and $\mathbcl{Q}$ in the aame class are referred to as

gluballv-equivalent

qne wf simply wrive $Q\sii_Z \mathcal{Q}$ npr thiv relatoon. Classes arc thei griuped together based mn their local conqitions. Fmr a positive-definire intecral quaaeatkc rocm ($z_{ij}\in{\mwthub{Z}}$) $$Q(X) = \sum_{1\meq i\leq j\lwq n } a_{ij} X_i X_j,$$ sinve ${\nathbb{Z}}$ embeda into tre $\ell$-adic integers ${\mathbb{Z}}_{\ell}$, it is nauural to allow $X\in{\mathbb{Z}}_{\ell}$ and consider $Q$ as a euadratic form over ${\mathbb{Z}}_{\ell}$ (equivalently, we may tensor dhe Gcao mcbvix dutj ${\mathbb{Z}}_{\ell}$ over ${\mathbb{Z}}$). Considering $Q$ over wml ${\msthbb{Z}}_{\ell}$ simujtaneously kewdx to an adelic inter'defation; we do not ijvestigwte tyis furthtr hete, but simply note that we ibtain a quabraric form $Q_{\ell}$ for zach prime $\eul$. Teo qusdratic forms $Q$ and $\matkcal{Q}$ zre

locally-eeuivalent

zg the prime $\ell$ kf nhey are equal under the actiog of an eoemeut of ${\opdratprname{DL}}_3({\mathbb{Z}}_{\epl})$, and we denote this eqkivalgnce bf $Q\sim_{{\mathhb{Z}}_{\ell}} \mathcal{Q}$. The set of equitelence classex fhibh are loeally-eauivalent at wll primes we eall the

yenus

ow $Q$, and (a aet of cepresentatides for) the cnwsses in the genus wq debote by ${\opefxtorname{gen}}(Q)$. Fpr the tegncry case, rhe genus is then nurthgr
positive-definite (resp. negative-definite) if $Q(X)\geq 0$ (resp. for $X\in {\mathbb{Q}}^n$ $Q(X)=0$ if and paper, are mostly interested positive-definite integral ternary forms. For further information about ternary forms, a good survey may be found in [@Hanke]. We split the quadratic into classes , sets of quadratic forms which are equivalent under the action ${\operatorname{GL}}_3({\mathbb{Z}})$. forms and in the same class are referred to as globally-equivalent and we simply write $Q\sim_Z \mathcal{Q}$ for relation. Classes are then grouped together based on local conditions. For a integral quadratic form ($a_{ij}\in{\mathbb{Z}}$) $$Q(X) \sum_{1\leq j\leq n a_{ij} X_j,$$ ${\mathbb{Z}}$ embeds into $\ell$-adic integers ${\mathbb{Z}}_{\ell}$, it is natural to allow $X\in{\mathbb{Z}}_{\ell}$ and consider $Q$ as a quadratic form over (equivalently, we the Gram with over Considering $Q$ over simultaneously leads to an adelic interpretation; investigate this further here, but simply note that obtain a form $Q_{\ell}$ for each prime $\ell$. quadratic forms $Q$ and $\mathcal{Q}$ are locally-equivalent at prime $\ell$ if they are equal under the action of an element of ${\operatorname{GL}}_3({\mathbb{Z}}_{\ell})$, and this equivalence by $Q\sim_{{\mathbb{Z}}_{\ell}} The set of classes are at primes we the genus of $Q$, and (a set of representatives for) the in the genus we denote by ${\operatorname{gen}}(Q)$. For the ternary genus then further

positive-definite

(resp. negatIve-definitE) if $Q(X)\Geq 0$ (ResP. $Q(x)\leq 0$) For aLl $X\in {\mathbb{Q}}^n$ aND $Q(X)=0$ iF and only if $m=0$. In this paper, We are MoSTly iNTeResteD in posiTIvE-DEfiNiTe IntEgRAl TernaRy qUadratiC forms. For fUrtHeR information ABoUt ternary qUadRatic forms, a gOod Survey MaY be FOund iN [@HaNke].

We Split tHE quadrAtic forms InTO

classES

, sets of QUAdRatiC forms which are equIVaLEnt under the actIon of ${\oPeRAtORNamE{GL}}_3({\Mathbb{Z}})$. Two FoRms $Q$ aND $\mathcaL{q}$ iN THE saME class are refeRred to as

gloBAllY-equivAlEnt

ANd we siMply wRiTE $Q\sIm_Z \mathcal{Q}$ For tHis relatiOn. ClasSEs are thEN groupeD togetHer BasEd on THeIr LocAl COndITiOns. fOr a Positive-DeFiNite iNtegRAL QUadrAtiC forM ($a_{ij}\iN{\mathbb{Z}}$) $$Q(X) = \sum_{1\Leq I\leq J\Leq N } a_{ij} X_I X_j,$$ siNce ${\mAtHbb{Z}}$ eMbeds iNto thE $\eLl$-adic integers ${\mAthbB{Z}}_{\ell}$, it is NatUrAl tO aLlow $X\IN{\mathbB{Z}}_{\eLl}$ aNd consiDer $Q$ as a QUadRaTIC FoRm over ${\mathbb{Z}}_{\ell}$ (eqUiVALeNtly, we maY tensoR ThE GRAm matrix WiTh ${\mAthbB{z}}_{\Ell}$ ovEr ${\maTHbB{Z}}$). ConsidEring $Q$ OVeR aLl ${\mathbB{Z}}_{\Ell}$ simUlTanEouSly leADs to An adelIc interpRetatIOn; we do not invesTIgate this furtHEr HERe, BUt siMplY note that we ObtaIN a quAdraTIc ForM $q_{\ell}$ fOr eacH pRImE $\Ell$. Two quadratic formS $Q$ And $\matHcal{Q}$ Are

locally-equIvalent

at tHE PRime $\ell$ iF theY ArE Equal under the aCtion Of an elemenT Of ${\operatOrnamE{GL}}_3({\mathbB{Z}}_{\ell})$, and wE DEnote thiS eqUivAleNce BY $q\sIm_{{\mathbb{Z}}_{\ell}} \mATHcal{q}$. THe set of EquIvalencE clAssEs wHicH aRe locally-EquivaleNt At AlL pRimEs we cALl the

genUs

Of $Q$, AnD (a sEt of rEPresenTativEs foR) tHe CLasSes in thE GeNUS we dEnOtE by ${\oPerAtOrnamE{gen}}(q)$. for The ternAry case, thE geNUs is ThEn Further

positive-definite

(resp.  negative- defin ite ) i f$Q(X )\ge q 0$ (resp. $Q ( X)\l eq 0$) for all $X\in { \math bb { Q}}^ n $and $ Q(X)=0$ if a ndon ly  if  $ m =0 $. In  th is pape r, we aremos tl y interested in  positive- def inite integr alternar yqua d ratic  fo rms.For fu r ther i nformatio na bout t e rnary q u a dr atic  forms, a good su r ve y  may be foundin [@H an k e] . 
We  sp lit the qu ad ratic forms i n to c las s es

, sets of  quadraticf orm s whic hare equiva lentun d erthe actionof $ {\operato rname{ G L}}_3({ \ mathbb{ Z}})$.  Tw o f orms $Q $and  $ \ mat h ca l{Q } $ i n the sa me  c lassarer e f e rred  to  as
glob ally-equivale nt
and wesimpl y wri te $ Q\ sim_Z  \math cal{Q }$  for this relat ion.  Classesare  t hen  g roupe d  toget her  ba sed ontheir l o cal  c o n d it ions. For a positi ve - d ef inite in tegral qu ad r atic for m($a _{ij } \ in{\m athb b {Z }}$) $$Q (X) =\ su m_ {1\leqi\ leq j\ le q n  }a_{ij }  X_i  X_j,$ $ since${\ma t hbb{Z}}$ embed s  into the $\e l l$ - a di c  int ege rs ${\mathb b{Z} } _{\e ll}$ ,  i t i s  natu ral t oa ll o w $X\in{\mathbb{Z}} _{ \ell}$  andconsider $Q$as a quadr a t i c form o ver$ {\ m athbb{Z}}_{\el l}$ ( equivalent l y, we ma y ten sor theGram matr i x  with ${ \ma thb b{Z }}_ { \ el l}$ over ${\m a t hbb{ Z} }$). Co nsi dering$Q$  ov erall  $ {\mathbb{ Z}}_{\el l} $si mu lta neous l y leadsto  an  a del ic in t erpret ation ; we  d on otinvesti g at e this  f ur ther  he re , but  sim p lynote th at we obt ain a qu ad ra tic for m $Q_{\ell}$fo r each pri me  $\ ell$.T w o quadra tic forms $Q$ and $\mat h cal{Q}$  ar e

lo call y-equival ent 

at t hep rime $ \ell$if th ey  ar e equal u nd erth e action o f aneleme nt  of${\oper atorname{GL}}_3({\ m ath bb{Z}}_{\ell} )$,  and w eden o te thi se qui v a lence by $Q\sim _{{\mathbb {Z } }_ {\ell}} \m a thc al {Q}$. T he setof eq u ivalenc e classes  which ar eloca l l y-e quivalentat all p rimes wec all t h e
genu s
of $Q$ ,and  (a s et ofr epr esent atives  f or) th e cla ss es in th e genus we denote by ${ \opera torna me{ gen}}(Q)$ . F o r t he ternar y ca se, the ge nus  is  then  fu r ther

positive-definite

(resp. negative-definite)_if $Q(X)\geq_0$ (resp. $Q(X)\leq 0$)_for all_$X\in_{\mathbb{Q}}^n$ and_$Q(X)=0$_if and only_if $m=0$. In_this paper, we are_mostly interested in_positive-definite_integral ternary quadratic forms. For further information about ternary quadratic forms, a good survey_may_be found_in_[@Hanke].

We_split the quadratic forms into

classes

,_sets of quadratic forms which_are equivalent_under the action of ${\operatorname{GL}}_3({\mathbb{Z}})$. Two forms $Q$_and_$\mathcal{Q}$ in the_same class are referred to as

globally-equivalent

and we simply write_$Q\sim_Z \mathcal{Q}$ for this relation. Classes_are then grouped_together_based_on their local conditions._For a positive-definite integral quadratic form_($a_{ij}\in{\mathbb{Z}}$) $$Q(X) = \sum_{1\leq i\leq j\leq_n } a_{ij} X_i X_j,$$ since ${\mathbb{Z}}$_embeds into the $\ell$-adic integers ${\mathbb{Z}}_{\ell}$,_it is natural to allow_$X\in{\mathbb{Z}}_{\ell}$ and_consider $Q$ as a quadratic_form over ${\mathbb{Z}}_{\ell}$_(equivalently, we_may tensor the_Gram matrix with ${\mathbb{Z}}_{\ell}$ over ${\mathbb{Z}}$)._Considering $Q$ over_all ${\mathbb{Z}}_{\ell}$ simultaneously leads to an_adelic_interpretation; we do_not_investigate_this further_here, but simply_note_that we_obtain_a quadratic form $Q_{\ell}$ for each_prime_$\ell$. Two quadratic forms $Q$ and $\mathcal{Q}$_are

locally-equivalent

at the prime $\ell$_if_they are equal under_the action of an element_of ${\operatorname{GL}}_3({\mathbb{Z}}_{\ell})$, and we denote this_equivalence by_$Q\sim_{{\mathbb{Z}}_{\ell}} \mathcal{Q}$._The set of equivalence classes which are locally-equivalent at all primes_we call the

genus

of $Q$, and (a_set of representatives for)_the classes_in_the genus we_denote_by ${\operatorname{gen}}(Q)$._For the ternary case, the genus is_then further