The eliminate commands takes two arguments; a list of
equations and the variable (or list of variables) to eliminate.
eliminate returns the equations with the requested variables
eliminated. (The equations will be given as expressions, assumed to
be equal to 0.)
Assuming the variables used haven’t been set to any values:
Input:
Output:
Input:
Output:
Input:
Output:
If the variable(s) can’t be eliminated, then eliminate returns [1] or [-1]. If eliminate returns [], that means the equations determine the values of the variables to be eliminated.
Input:
Output:
since t cannot be eliminated from both equations. Input:
Output:
since the first equation gives t=1, which satisfies the
second equation.
Input:
Output:
since the first equation gives t=1, which satisfies the second equation, and so that leaves z = 2 - 9 - 1 = -8, or z + 8 = 0.