eliminate eliminates the given variables from a set or list of equations.

The result of this elimination is an expression sequence of lists.  Each list represents a possible elimination of the given variables.

The first component of each solution is a set of equations, where the left-hand side of these equations is a variable (one of the variables in varset) and the right-hand side is its corresponding value.  The second component of each solution is the set of remaining equations once the varset have been eliminated.