bugfix: variable order now oriented on F.ring().gens()