Valuation of Z[sqrt(2)]

3 years ago