^r\ \text{and}\ {\text{\normalfont{ord}}}_{{\mathfrak{l}}_i}((\beta))\equiv 1\ ({\text{\normalfont{mod}}}\ 2)\}$. Then $u\in\{t_{K^r}-1,\ t_{K^r}-2,\ t_{K^r}-3\}$ by (\[order\]).

Let $p{\mathcal{O}}_{F^r}={\mathfrak{p}}{\mathfrak{p}}'$. Then we have $\alpha=\pi^{a}\pi'^{a'}\prod_{i=1}^{u} s_{i}^{(1\ {\text{\normalfont{mod}}}\ 2)}$, where $\pi$ and $\pi'$ are totally positive generators of ${\mathfrak{p}}^j$ and ${\mathfrak{p}}'^{j}$ for odd $j$. Here, we have $\prod_{i=1}^{u} s_{i}^{(1\ {\text{\normalfont{mod}}}\ 2)}\in{\mathbb{Z}}$ and $a,\ a'\in\{0,\ 1\}$. If $a = a'$, then $\alpha\in{\mathbb{Z}}$, which leads to contradiction since $K^r$ is non-biquadratic. So for a unique ${\mathfrak{p}}$, we can take $a_1=1$ and $a_2=0$. In particular, we have $u\in\{t_{K^r}-1,\ t_{K^r}-2\}$.

Combining Lemma \[construct.1\] and the bound on the discriminant in Proposition \[t&lt;6\], we now have a good way of listing the fields. Next, we need a fast way of eliminating fields from our list if they have CM class number $>1$.

The following lemma is a special case of Theorem D in Louboutin [@loub5].

\[quick\] Let $K$ be a non-biquadratic quartic CM field with real quadratic subfield $F$. Let $d_K$ and $d_F$ be the absolute values of the discriminants of $K$ and $F$. Then assuming $I_{0}(\Phi^r)=I_{K^r}$, if a rational prime $l$ totally splits in $K^r/{\mathbb{Q}}$, then $l\geq \frac{\sqrt{d_K/{d_F}^2}}{4}$.

Let $l$ be a prime
^r\ \text{and}\ { \text{\normalfont{ord}}}_{{\mathfrak{l}}_i}((\beta))\equiv 1\ ({ \text{\normalfont{mod}}}\ 2)\}$. Then $ u\in\{t_{K^r}-1,\ t_{K^r}-2,\ t_{K^r}-3\}$ by (\[order\ ]). 

 Let $ p{\mathcal{O}}_{F^r}={\mathfrak{p}}{\mathfrak{p}}'$. Then we have $ \alpha=\pi^{a}\pi'^{a'}\prod_{i=1}^{u } s_{i}^{(1\ { \text{\normalfont{mod}}}\ 2)}$, where $ \pi$ and $ \pi'$ are totally positive generator of $ { \mathfrak{p}}^j$ and $ { \mathfrak{p}}'^{j}$ for curious $ j$. Here, we have $ \prod_{i=1}^{u } s_{i}^{(1\ { \text{\normalfont{mod}}}\ 2)}\in{\mathbb{Z}}$ and $ a,\ a'\in\{0,\ 1\}$. If $ a = a'$, then $ \alpha\in{\mathbb{Z}}$, which leads to contradiction since $ K^r$ is non - biquadratic. So for a singular $ { \mathfrak{p}}$, we can take $ a_1=1 $ and $ a_2=0$. In particular, we hold $ u\in\{t_{K^r}-1,\ t_{K^r}-2\}$. 

 Combining Lemma \[construct.1\ ] and the bound on the discriminant in Proposition \[t&lt;6\ ], we now suffer a good way of list the fields. Next, we need a flying direction of eliminating fields from our list if they have CM class act $ > 1$. 

 The following lemma is a special case of Theorem D in Louboutin [ @loub5 ]. 

 \[quick\ ] lease $ K$ be a non - biquadratic quartic CM field with real quadratic subfield $ F$. Let $ d_K$ and $ d_F$ be the absolute value of the discriminants of $ K$ and   $ F$. Then assuming $ I_{0}(\Phi^r)=I_{K^r}$, if a rational prime $ l$ totally splits in $ K^r/{\mathbb{Q}}$, then $ l\geq \frac{\sqrt{d_K/{d_F}^2}}{4}$. 

 lease $ l$ be a prime
^r\ \tfxt{and}\ {\text{\normalfont{ord}}}_{{\oathfrak{l}}_i}((\beta))\equiv 1\ ({\txxt{\normzlfont{moa}}}\ 2)\}$. Then $u\in\{t_{K^r}-1,\ t_{K^r}-2,\ t_{K^r}-3\}$ by (\[orver\]).

Lwt $p{\mqthcal{O}}_{F^r}={\mathfrak{p}}{\mathwrak{p}}'$. Thej we havw $\alkha=\pi^{a}\pi'^{a'}\prod_{i=1}^{u} s_{m}^{(1\ {\text{\novialfkkt{mod}}}\ 2)}$, where $\pi$ and $\ki'$ are totalny positive getefacors of ${\mathfrak{p}}^j$ and ${\mathfrak{p}}'^{j}$ fow odd $j$. Hfre, we have $\prjd_{i=1}^{u} f_{i}^{(1\ {\tsqt{\kormalfont{mod}}}\ 2)}\in{\mathbb{Z}}$ and $a,\ a'\ih\{0,\ 1\}$. If $a = a'$, then $\alphs\in{\mathbb{Z}}$, which leads to fontgadiction since $K^r$ is non-biquqdraeuc. So for a jnique ${\mathfrak{p}}$, we cah take $a_1=1$ and $a_2=0$. In particular, we have $u\in\{t_{K^r}-1,\ t_{K^t}-2\}$.

Eimblting Lemma \[ronstrlct.1\] and the bound on dhe disvriminant in Pvoposmtiob \[t&lt;6\], we now have a gmod way of listing the fielgs. Next, we need a fqsr way of alimkbatkng fmelss frol onr list if fhey have CN class number $>1$.

The gojoowing lemma js a s[esial case of Theorem D in Louboutin [@lout5].

\[qujck\] Let $K$ be a non-biquaeratic quartic CM fiepd with rqal quadratic subfield $F$. Let $d_K$ and $d_F$ be the absmlute xalbcf if the discriminants of $K$ and $F$. Then assuming $I_{0}(\Prj^r)=O_{K^g}$, if a rational pvime $l$ totally splotd og $K^r/{\mathbb{Q}}$, tfen $l\gzs \rrac{\sqrt{d_K/{d_F}^2}}{4}$.

Let $l$ he a pryme
^r\ \text{and}\ {\text{\normalfont{ord}}}_{{\mathfrak{l}}_i}((\beta))\equiv 1\ ({\text{\normalfont{mod}}}\ 2)\}$. Then t_{K^r}-3\}$ (\[order\]). Let Then we have $\pi$ $\pi'$ are totally generators of ${\mathfrak{p}}^j$ ${\mathfrak{p}}'^{j}$ for odd $j$. Here, we $\prod_{i=1}^{u} s_{i}^{(1\ {\text{\normalfont{mod}}}\ 2)}\in{\mathbb{Z}}$ and $a,\ a'\in\{0,\ 1\}$. If $a = a'$, then which leads to contradiction since $K^r$ is non-biquadratic. So for a unique ${\mathfrak{p}}$, can $a_1=1$ $a_2=0$. particular, we have $u\in\{t_{K^r}-1,\ t_{K^r}-2\}$. Combining Lemma \[construct.1\] and the bound on the discriminant in Proposition we now have a good way of listing fields. Next, we need fast way of eliminating fields our if they CM number The following lemma a special case of Theorem D in Louboutin [@loub5]. \[quick\] Let $K$ be a non-biquadratic quartic CM with real $F$. Let and be absolute values of of $K$ and $F$. Then assuming rational prime $l$ totally splits in $K^r/{\mathbb{Q}}$, then \frac{\sqrt{d_K/{d_F}^2}}{4}$. Let be a prime
^r\ \text{and}\ {\text{\normalfont{ord}}}_{{\Mathfrak{l}}_i}((\Beta))\eQuiV 1\ ({\teXt{\NormAlfoNt{mod}}}\ 2)\}$. Then $u\in\{t_{K^R}-1,\ T_{K^r}-2,\ t_{k^r}-3\}$ by (\[order\]).

Let $p{\mathcal{O}}_{F^R}={\mathFrAK{p}}{\maTHfRak{p}}'$. THen we haVE $\aLPHa=\pI^{a}\Pi'^{A'}\prOd_{I=1}^{U} s_{I}^{(1\ {\text{\NorMalfont{Mod}}}\ 2)}$, where $\pi$ And $\Pi'$ Are totally poSItIve generatOrs Of ${\mathfrak{p}}^j$ And ${\MathfrAk{P}}'^{j}$ fOR odd $j$. herE, we haVe $\prod_{I=1}^{U} s_{i}^{(1\ {\texT{\normalfoNt{MOd}}}\ 2)}\in{\maTHbb{Z}}$ and $A,\ A'\In\{0,\ 1\}$. if $a = a'$, Then $\alpha\in{\mathbb{z}}$, WhICh leads to contrAdictiOn SInCE $k^r$ iS noN-biquadratIc. so for A Unique ${\mAThFRAK{p}}$, wE Can take $a_1=1$ and $a_2=0$. IN particular, WE haVe $u\in\{t_{k^r}-1,\ T_{K^r}-2\}$.

cOmbiniNg LemMa \[COnsTruct.1\] and the BounD on the disCriminANt in ProPOsition \[T&lt;6\], we nOw hAve A gooD WaY oF liStINg tHE fIelDS. NeXt, we need A fAsT way oF eliMINATing FieLds fRom ouR list if they haVe Cm claSS nuMber $>1$.

THe folLowiNg Lemma Is a speCial cAsE of Theorem D in LoUbouTin [@loub5].

\[quIck\] leT $K$ bE a Non-biQUadratIc qUarTic CM fiEld with REal QuADRAtIc subfield $F$. Let $d_K$ anD $d_f$ BE tHe absoluTe valuES oF tHE discrimInAntS of $K$ AND $F$. TheN assUMiNg $I_{0}(\Phi^r)=I_{k^r}$, if a rATiOnAl prime $L$ tOtally SpLitS in $k^r/{\matHBb{Q}}$, tHen $l\geQ \frac{\sqrT{d_K/{d_F}^2}}{4}$.

lEt $l$ be a prime
^r\ \text{and}\ {\text{\no rmalfont{o rd}}} _{{ \ma th frak {l}} _i}((\beta))\e q uiv1\ ({\text{\normalfont {mod} }} \  2)\ } $.  Then  $u\in\ { t_ { K ^r} -1 ,\  t_ {K ^ r} -2,\t_{ K^r}-3\ }$ by (\[o rde r\ ]).

Let $p{ \ ma thcal{O}}_ {F^ r}={\mathfra k{p }}{\ma th fra k {p}}' $.Thenwe hav e  $\alp ha=\pi^{a }\ p i'^{a' } \prod_{ i = 1} ^{u}  s_{i}^{(1\ {\tex t {\ n ormalfont{mod} }}\ 2) }$ ,  w h e re$\p i$ and $\p i' $ are totally po s i t ive generators of  ${\mathfra k {p} }^j$ a nd  ${ \ mathfr ak{p} }' ^ {j} $ for odd $ j$.Here, wehave $ \ prod_{i = 1}^{u}s_{i}^ {(1 \ { \tex t {\ no rma lf o nt{ m od }}} \  2) }\in{\ma th bb {Z}}$  and $ a , \ a' \in \{0, \ 1\} $. If $a = a' $,then $\a lpha\ in{\m athb b{ Z}}$,  which  lead sto contradictio n si nce $K^r$  is  n on- bi quadr a tic. S o f ora uniqu e ${\ma t hfr ak { p } }$ , we can take $a_1 =1 $ an d $a_2=0 $. Inp ar ti c ular, we  h ave  $u\ i n \{t_{ K^r} - 1, \ t_{K^r }-2\}$ . 
Co mbining  L emma \ [c ons tru ct.1\ ]  and  the b ound onthe d i scriminant inP roposition \[ t &l t ; 6\ ] , we  no w have a go od w a y of  lis t in g t h e fie lds.Ne x t, we need a fast wayof  elimi natin g fields from  our listi f they hav e CM cl a ss number $>1$ .

Th e followin g  lemma i s a s pecial c ase of Th e o rem D in  Lo ubo uti n [ @ l ou b5].

\[quick \ ]  Let  $ K$ be a  no n-biqua dra tic  qu art ic  CM field  with re al  q ua dr ati c sub f ield $F$ .Let  $ d_K $ and $d_F$be th e ab so lu t e v alues o f  t h e  dis cr im inan tsof  $K$and$ F$.  Then a ssuming $ I_{ 0 }(\P hi ^r )=I_{K^ r}$, if a rat io nal prime$l $ t otally s plits in  $K^r/{\mathbb{Q}}$, th e n $l\ge q \ frac{ \sqr t{d_K/{d_ F}^ 2}}{4} $.Let $l $ be a  prim e
^r\ \text{and}\_{\text{\normalfont{ord}}}_{{\mathfrak{l}}_i}((\beta))\equiv 1\_({\text{\normalfont{mod}}}\ 2)\}$. Then $u\in\{t_{K^r}-1,\_t_{K^r}-2,\ t_{K^r}-3\}$_by_(\[order\]).

Let $p{\mathcal{O}}_{F^r}={\mathfrak{p}}{\mathfrak{p}}'$._Then_we have $\alpha=\pi^{a}\pi'^{a'}\prod_{i=1}^{u}_s_{i}^{(1\ {\text{\normalfont{mod}}}\ 2)}$,_where $\pi$ and $\pi'$_are totally positive_generators_of ${\mathfrak{p}}^j$ and ${\mathfrak{p}}'^{j}$ for odd $j$. Here, we have $\prod_{i=1}^{u} s_{i}^{(1\ {\text{\normalfont{mod}}}\ 2)}\in{\mathbb{Z}}$_and_$a,\ a'\in\{0,\_1\}$._If_$a = a'$, then $\alpha\in{\mathbb{Z}}$,_which leads to contradiction since_$K^r$ is_non-biquadratic. So for a unique ${\mathfrak{p}}$, we can_take_$a_1=1$ and $a_2=0$._In particular, we have $u\in\{t_{K^r}-1,\ t_{K^r}-2\}$.

Combining Lemma \[construct.1\] and_the bound on the discriminant in_Proposition \[t&lt;6\], we_now_have_a good way of_listing the fields. Next, we need_a fast way of eliminating fields_from our list if they have CM_class number $>1$.

The following lemma is_a special case of Theorem_D in_Louboutin [@loub5].

\[quick\] Let $K$ be_a non-biquadratic quartic_CM field_with real quadratic_subfield $F$. Let $d_K$ and $d_F$_be the absolute_values of the discriminants of $K$_and $F$._Then assuming $I_{0}(\Phi^r)=I_{K^r}$,_if_a_rational prime_$l$ totally splits_in_$K^r/{\mathbb{Q}}$, then_$l\geq_\frac{\sqrt{d_K/{d_F}^2}}{4}$.

Let $l$ be a prime