A Gröbner basis criterion for birational equivalence of affine varieties On Canny's roadman algorithm: Orienteering in semialgebraic sets (an application of singularity theory to theoretical robotics) 