freeze;

QNF:=NumberField(PolynomialRing(Rationals()).1-1:DoLinearExtension);
