The lvar command finds the
variables and non-rational that make up an expression.
lvar takes
expr, an expression.
lvar(expr) returns a list of
variable names and non-rational expressions such that expr
its argument is a rational function with respect
to the variables and expressions of the list.