It also can be used in translated code, where EV may cause problems. It will ask the user if it cannot tell otherwise and attempt to install the information in the data-base if possible. If it cannot, it asks the user the necessary questions to complete its deduction.
All products involving the vari appear explicitly.
The form returned will be free of products of sums of expressions that are not free of the vari. The vari may be variables, operators, or expressions. If it is -1 then all integers are expanded. This is useful in conjunction with other switches and in causing expressions to be resimplified without being reevaluated.