Faugère's F4 algorithm for computing Gröbner basis for systems of multivariate polynomials - View it on GitHub