Added VARIABLE_DOMAIN so changeing should be simple
Added calculating Groebner basis