Revision history [back]
 | 1 | initial version |
The "free variable" in your example is r6, and the solution is described by giving how both x and y depend on it. It is certainly not the case that the "alphabetically largest" variable can always be chosen as a free variable, as the system [x==x, y==0] shows.
