Refactor functions names.
Improve `get_vars` function to properly obtain variables.
Implement decorator for finding Groebner basis of equations system.
Add docstrings.
Algorithm for solving polynomial system.