Gro"bner basis from Jean-Charles Fauge`res, 
From Jean-Guillaume Dumas' Sparse Integer Matrix Collection,
http://ljk.imag.fr/membres/Jean-Guillaume.Dumas/simc.html

http://www-calfor.lip6.fr/~jcf/