
SetVerbose("NiceReps", 2);

x := PolynomialRing(Rationals()).1;
K := NumberField(x^3-7);

assert NiceRepresentativeModuloPowers(K.1,2) eq K.1;
assert NiceRepresentativeModuloPowers(K.1,3) eq K.1;

F := FieldOfFractions(MaximalOrder(K));
assert NiceRepresentativeModuloPowers(F.2,2) eq F.2;
assert NiceRepresentativeModuloPowers(F.2,3) eq F.2;

