[Modified a comment.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20121128215203
 Ignore-this: fb2897cfee37e1a91a48c9767eab9fb1
] hunk ./src/Algebra/RingSolver.agda 53
--- The polynomials are indexed over the number of variables.
+-- The polynomials are indexed on the number of variables.