Moving SolutionSet to ComputerAlgebra