 |
is_independent_of |
Function (ROM Call 0x2D5) |
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