[Modified a comment. Nils Anders Danielsson **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.