An Implementation Of Faugère'S F4 Algorithm For Computing Gröbner Bases