# Tagged Questions

Questions about the function Assuming[], the $Assumptions system variable, and the Assumptions option of functions such as Simplify[] and Integrate[]. 2answers 94 views ### Verifying inequality in Mathematica I am trying to verify the following inequality Mathematica. This I wrote the fillowing code: ... 1answer 46 views ### Do double vertical bars in ConditionalExpression mean 'or'? [closed] I have a very simple interpretation question. I think that double vertical bars in a ConditionalExpression given by Mathematica as the result of an integration must mean 'or', but I am hoping to ... 1answer 61 views ### How to assume all variables in my code are reals I won't have any occasion to have any imaginary number in my code. If there are any, that is an error. So allowing the imaginary case simply hinders the equation manipulation and simplification. I ... 0answers 79 views ### Why isn't Mathematica listening to my assumptions? I'm trying to simplify the expression ωplus := 1/2 c (I f V + Sqrt[4 k^2 - f (f + 8 I k) V^2]) so that I can get it in the form$a+i b$. I am using the global ... 1answer 48 views ### DSolve with coefficients and assumptions The command below: DSolve[{s'[t] == l t, s[0] == 0}, {s[t]}, {t, 0, a}] gives the error DSolve::alliv: The function <... 1answer 68 views ### How to integrate with integer parameter in Mathematica? I would like to integrate the following expression with N being Integer ... 1answer 105 views ### Adding irrelevant assumptions changes the result of Simplify I've run into this problem a number of times. A typical example is Simplify[Sign[k], {0 < A, 0 < B, A*Exp[2*y] < k, y > 1}] which evaluates to$1$, ... 1answer 69 views ### Eigensystem with orthogonal elements in matrix I have a matrix with 16 elements: matrix = {{f1, -f2, -f2, f3 }, {f4, -f1, -f1, f2}, {f4, -f1, -f1, f2}, {f5, -f4, -f4, f1}} I would like to calculate ... 2answers 70 views ### How do I SetDelayed$Assumptions

For some reason, $Assumptions := (Print["y"]; x > 0) evaluates the RHS immediately. I have code in which$Assumptions ...
44 views

### Assumptions with Multiple Rules

What is the correct way to add more than one assumption while integrating? I am attempting to evaluate the following integral and Mathematica is just stalling, so I'm wondering if my assumptions are ...
55 views

91 views

72 views

### How to disqualify a rule [closed]

Executing this line Assuming[x < 0, x -> 10] Expected output: False Say x -> 10 is a root of a polynomial ...