Add docstrings.
Algorithm for solving polynomial system.