Rationalizing Denominators Using Gröbner Bases. (6th January 2022)