Array of coefficients for the equation. The layout of the data
is as follows: coef[0] is the constant, coef[i] for 1 <= i <=
OMEGA_MAX_VARS, are the coefficients for each dimension. Examples:
the equation 0 = 9 + x + 0y + 5z is encoded as [9 1 0 5], the
inequality 0 <= -8 + x + 2y + 3z is encoded as [-8 1 2 3].
Referenced by chain_unprotect(), normalize_omega_problem(), omega_constrain_variable_value(), omega_copy_eqn(), omega_delete_geq_extra(), omega_free_eliminations(), omega_simplify_problem(), omega_solve_eq(), omega_solve_geq(), omega_solve_problem(), omega_unprotect_1(), subscript_dependence_tester_1(), and verify_omega_pb().