Valuation of Z[sqrt(2)]

4 years ago