Construction

EtaleAlgebra(seq) : SeqEnum[FldNum] -> AlgEtQ
Given a sequence of number fields returns the étale algebra corresponding to the direct product. Note: the number fields with DefiningPolynomial of degree one should be created with the parameter DoLinearExtension set to true.
EtaleAlgebra(f) : RngUPolElt[RngInt] -> AlgEtQ
EtaleAlgebra(f) : RngUPolElt[FldRat] -> AlgEtQ
Given a squarefree polynomial over the integers or rationals returns the product of the number fields defined by the irreducible factors.
V2.29, 21 October 2025