R=ZZ/101[u,a,b,y˙–1˝..y˙–8˝,MonomialOrder=>Lex]; I=–u*a*b1˙R,y˙–1˝a*b^2,y˙–2˝a^2*b,y˙–3˝*ab^2,y˙–4˝*a^2b, y˙–5˝*b^2a,y˙–6˝*ba^2,y˙–7˝*a*b^21˙R,y˙–8˝*a^2*b1˙R˝; G=gens gb ideal I; J=selectInSubring(3,G); S1=ZZ/101[y˙–1˝..y˙–8˝,t]; J=substitute(J,S1); H0=homogenize(gens gb J,t); S2=ZZ/101[t,y˙–1˝..y˙–8˝,MonomialOrder=>Lex]; H0=substitute(H0,S2); G=gens gb ideal H0; H=selectInSubring(1,G); S=ZZ/101[y˙–1˝..y˙–8˝]; J=substitute(J,S); H=substitute(H,S); print(hilbertSeries coker J); print(hilbertPolynomial(coker J, Projective=>false)); print(hilbertSeries coker H); print(hilbertPolynomial(coker H, Projective=>false));
This produces the following output:
6 5 4 3 2 4$T 4$T 8$T +12$T +17$T +6$T+1 2 ($T+1) 28$i20 5 4 2 4$T 8$T +12$T +5$T+1 3 ($T+1) 2 7$i +4$i+1
References

W. W. Adams and P. Loustaunau. An Introduction to Gröbner Bases, Graduate Studies in Mathematics, 3, American Mathematical Society, Providence, RI (1994)

W. W. Rouse Ball. Mathematical recreations & essays. Macmillan, London (1940)

M. Gardner, A Gardner's workout. A K Peters, Ltd., Natick, MA, (2001)

D. Grayson and M. Stillman: Macaulay 2 – a software system for algebraic geometry and commutative algebra, available at http://www.math.uiuc.edu/Macaulay2.

M. Katzman. FreeSquares Available from http://www.shef.ac.uk/katzman/ComputerAlgebra/ComputerAlgebra.html

F. S. Macaulay, Some properties of enumeration in the theory of modular systems. Proceedings of the London Mathematical Society 26, pp. 531–555.

B. Sturmfels. Gröbner bases and convex polytopes, University Lecture Series, 8. American Mathematical Society, Providence, RI (1996)

Richard P. Stanley. Combinatorics and commutative algebra. Second edition. Progress in Mathematics, 41. Birkhuser Boston, Inc., Boston, MA, 1996.
Department of Pure Mathematics, University of Sheffield, Hicks Building, Sheffield S3 7RH, United Kingdom, Fax number: 00441142223769 Email address : M.Katzman@sheffield.ac.uk