How do I go about finding an epsilon-approximation of a given real number x by an element of minimal or near-minimal height from a given number field K?
It would suffice for my purposes to solve this for real quadratic extensions of Q.
Case of primary interest is actually K = Q(sqrt(2)).
Thanks. Alex--