
// the trivial number field

Q1<w> := RationalsAsNumberField();
assert w eq 1;

Q2<w> := QNF();
assert w eq 1;

// important that each call returns a new instance
assert not IsIdentical(Q1, Q2);
assert not IsIdentical(Q1, RationalsAsNumberField());
assert not IsIdentical(Q2, QNF());

assert IsIdentical(Q1, NumberField(Q1));
assert IsIdentical(Integers(Q1), Integers(Q1));

assert NumberField(Rationals()) eq Rationals();
assert Integers(Rationals()) eq Integers();

