An étale algebra is a direct product of number fields. This section describes functions to work with these algebras, orders inside the algebra and ideals of the orders.
Currently all number fields have to be absolute number fields.
An étale algebra has type AlgEtQ, an order has type AlgEtQOrd, an ideal has type AlgEtQIdl, and the elements have type AlgEtQElt.