| is_independent_of | Function (ROM Call 0x2D5)

AMS 1.01 or higher | estack.h

short is_independent_of (CESI expr_ptr, CESI var_ptr);

Checks whether an expression is independent of a variable (or expression).

is_independent_of returns TRUE if the expression pointed to by expr_ptr is independent of the variable pointed to by var_ptr, else returns FALSE. Although var_ptr may point to something which is not a variable, the independence of the "expression" is not well defined, so avoid such situations until more information about what such "independence" means (TI says that this means "syntactical independence", but this is not well defined either).
Note: This routine (and all other "independence" routines also) is not reliable if expressions are not in internal canonic form (see push_internal_simplify).

Uses: are_expressions_identical, is_tail_independent_of, next_expression_index, primary_tag_list
Used by: is_independent_of_tail, is_monomial_in_kernel, is_tail_independent_of, push_internal_simplify, did_push_anti_deriv, push_1st_derivative, push_comdenom, push_csolve, push_czeros, push_def_int, push_desolve, push_expand, push_extended_prod, push_factor, push_lim, push_max, push_min, push_nsolve, push_nth_derivative, push_solve, push_summation, push_zeros, push_and, push_equals, push_exponentiate, push_greater_than, push_greater_than_or_equals, push_less_than, push_less_than_or_equals, push_not_equals, push_substitute_using_such_that, are_units_consistent, did_push_lincf, get_ub, is_polynomial_in_var_or_kern, push_dependent_factors, push_dependent_terms, push_independent_factors, push_independent_terms, push_simplify, ROM Call 0x468, ROM Call 0x4E6