Algos related to solving sys of equns