@logicmonkey0 @stecks Jim Fowler, Andrew Groot, Deven Pandya and Bart Snapp solve the "no three in a line" problem on a torus by computing Gröbner bases: arxiv.org/abs/1203.6604v1