added ignore rules
added examples for groebner basis computation of the problem
added examples for groebner basis computation of the problem
added option for disabling of the normalization check in a finite field search
added initial test file