Searched refs:var_coefficient (Results 1 – 4 of 4) sorted by path
3694 const Coefficient& var_coefficient = expr.coefficient(var); in generalized_affine_preimage() local3695 if (var_coefficient != 0) { in generalized_affine_preimage()3697 = expr - (denominator + var_coefficient) * var; in generalized_affine_preimage()3699 neg_assign(inverse_denominator, var_coefficient); in generalized_affine_preimage()
2227 const Coefficient& var_coefficient = expr.coefficient(var); in generalized_affine_preimage() local2228 if (var_space_dim <= expr_space_dim && var_coefficient != 0) { in generalized_affine_preimage()2230 = expr - (denominator + var_coefficient) * var; in generalized_affine_preimage()2232 neg_assign(inverse_denominator, var_coefficient); in generalized_affine_preimage()
3263 const Coefficient& var_coefficient = expr.coefficient(var); in generalized_affine_preimage() local3264 if (var_coefficient != 0) { in generalized_affine_preimage()3266 = expr - (denominator + var_coefficient) * var; in generalized_affine_preimage()3268 neg_assign(inverse_denominator, var_coefficient); in generalized_affine_preimage()
78143 // Here `var_coefficient == 0', so that the preimage cannot91313 const Coefficient& var_coefficient = expr.coefficient(var);91314 if (var_coefficient != 0) {91316 = expr - (denominator + var_coefficient) * var;91318 neg_assign(inverse_denominator, var_coefficient);91328 // Here `var_coefficient == 0', so that the preimage cannot