References compress(), divide_by_var(), elim_keep(), elim_vars(), Matrix(), remove_monomial_factors(), remove_scalar_multiples(), and result().