Resultants of minimal polynomials of maximal real cyclotomic extensions

RLWE/PLWE equivalence for the maximal totally real subextension of the $2^rpq$-th cyclotomic field

“…we can use the same argument, taking into account that u n (2) = 2 for all n ≥ 1 (see [1,Corollary 2.4]). We can also give the following alternative proof: for each n ≥ 1, consider the rational expression…”