Questions on manipulating complicated expressions and making them look simpler using Simplify, FullSimplify and Reduce.

learn more… | top users | synonyms (3)

5
votes
3answers
106 views

Expand just first level of an expression

Is there a way to build a function to expand just the first level of powers and products of an expression? Edit: ...
5
votes
1answer
65 views

Simplify complex answer given by DSolve[]

I tried the technique in this question, but that did not work for the solution given by the MWE: DSolve[{f'[t] + f[t]*g[t] == h[t], f[0] == f0}, {f[t]}, t] How ...
5
votes
1answer
210 views

Why does Mathematica not simplify this expression?

Consider this simple example: ...
5
votes
1answer
153 views

How to apply tags to expression terms?

I often see on this site and at the mathgroup the repeated questions on how to rearrange expression that Mathematica "likes" to keep in one form, but the user prefers in another. Consider this trivial ...
5
votes
0answers
50 views

External and internal Assumptions on `PiecewiseExpand` and `Mod`

After this question I'm intrigued about the different behaviors depending where and how the assumptions are given. ...
5
votes
2answers
162 views

Simplification due to recognition of dummy indices in sums?

Today I noticed something weird concerning implicit sums. Apparently, Mathematica cannot recognize dummy indices as such and simplify accordingly. Consider: ...
5
votes
0answers
103 views

Faster way to perform SameQ[Reduce[…], Reduce[…]]

I'm have some expressions that I need to confirm the equality of. SameQ[Reduce[...], Reduce[...]] works like a charm for the more simple expressions, however when ...
4
votes
2answers
402 views

How can I simplify $\log(512)$ to $9\log(2)$?

Can you explain me about the result of Integrate. ...
4
votes
3answers
197 views

Output to preserve dot product

I am fairly new to Mathematica and I am faced with a problem. I tried to search for the solution but it seems that I don't know how to formulate the short search request. I need to perform a matrix ...
4
votes
4answers
564 views

Simplifying just parts of an expression

I'm having trouble with the simplifications of certain expressions. A typical example of this is the following (all my variables are positive real numbers): ...
4
votes
4answers
1k views

Simplifying a trigonometric expression

I'm sure this has been addressed before, but I can't find it! I want Mathematica to simplify Sqrt[1 - Sin[π/6 - θ]^2] to ...
4
votes
3answers
402 views

How to transform power of -1 into exponential [duplicate]

After FullSimplify, Mathematica usally gives some coefficients like ((-1)^(1/5)) But I don't want this form, I want ...
4
votes
2answers
239 views

Simplifying If statements

How can I get Mathematica to simplify the true and false clauses for If[] statements? For example: bar[a_] := a FullSimplify[If[a > b, bar[a], bar[b]]] ...
4
votes
2answers
456 views

Force a negative square root to be interpreted as an I

I have expressions like $$\sqrt{-\sqrt{1+x^2}} $$ how can I force mathematica to systematically rewrite this as $$i(1+x^2)^{1/4} \quad ? $$
4
votes
2answers
180 views

HornerForm of polynomials in terms of E^(i x)

I want to know how to get the HornerForm of the following expression in terms of E^(I x): ...
4
votes
1answer
838 views

Reduce an equation by putting a new variable

I have the following equation given: $$ (26-x)\cdot\sqrt{5x-1} -(13x+14)\cdot\sqrt{5-2x} + 12\sqrt{(5x-1)\cdot(5-2x) }= 18x+32. $$ In order to solve it, I want to substitute $t = \sqrt{5x - ...
4
votes
2answers
317 views

How to expand all portions of an expression?

Consider a toy expression: expr = Sin[x (a + b)]/(y (z + c)) I would like to expand all parentheses to get something like: ...
4
votes
1answer
410 views
4
votes
2answers
333 views

Why doesn't FullSimplify simplify expressions with DiracDelta?

I want to simplify a complicated expression with some Dirac delta distributions, but FullSimplify does not do what I want. Specifically, I want ...
4
votes
1answer
748 views

Does the Im function work with symbolic arguments?

Does the Im function work with symbolic arguments? ...
4
votes
1answer
418 views

Can I check if an expression is positive using assumptions?

I have the following notebook: ...
4
votes
2answers
1k views

Mathematica won't simplify the expression with obvious common factor of a fraction

I have an expression obtain from an integral, which is: Integrate[ϵ^2/Sqrt[(ϵ - u)^2 + Δ^2], ϵ] // FullSimplify The denominator and numerator of the result have ...
4
votes
2answers
185 views

Why Refine does not simplify Cos[2*Pi*FractionalPart[1/2*(i + j + k)]] to $(-1)^{i+j+k}$?

I am obtaining in Mathematica: Cos[2*Pi*FractionalPart[1/2*(i + j + k)]] We know that for $i, j, k$ being positive integers this expression after simplification ...
4
votes
1answer
229 views

Can't simplify Abs[a*Cos[x]]^2

Why doesn't FullSimplify[ Abs[a*Cos[x]]^2, Assumptions -> {{a, x} ∈ Reals}] simplify to (a*Cos[x])^2 but this query ...
4
votes
4answers
216 views

Another confusion with simplify

After reading some of the questions concerning Simplify, I still didn't find a solution to my confusion. I want Mathematica to simplify ...
4
votes
1answer
249 views

Infinite expression encountered when simplifying ArcTan sums although the result is finite

If I attempt to simplify the sum ArcTan[1/x] + ArcTan[x] with ArcTan[ Simplify[ TrigExpand[ Tan[ ArcTan[1/x] + ArcTan[x]]]]] ...
4
votes
1answer
321 views

Simplifying numerical expressions involving special functions

I've encountered the following problem. There is the identity (Legendre's relation) that the special functions EllipticK[x] and ...
4
votes
2answers
127 views

Symmetrise a complicated expression

I am calculating the derivatives of a symmetric function $F(a_1, a_2)$ and got very complicated expressions, which I'd like to write in a symmetric form with respect to $1 \leftrightarrow 2$ (clearly ...
4
votes
1answer
86 views

What options need to be set for Simplify to perform a certain manipulations similar to FullSimplify?

Simplify performs algebraic transformations and is fast, while FullSimplify tries a wide range of transformations involving ...
4
votes
1answer
170 views

Simplifying conditional expressions using assumptions does not work

I have a conditional expression f[x_] := x /; x ∈ Reals This works fine for normal numbers and symbols, e.g. ...
4
votes
1answer
290 views

Mathematica doesn't simplify a simple expression

The question is simple as that. I have: ...
4
votes
1answer
504 views

Checking if an expression is equal to zero

I have 6 points in $\mathbb R^3$ as follows: ...
4
votes
2answers
301 views

Cleaning up InverseLaplaceTransforms in Mathematica

I am attempting to use Mathematica to model an electrical circuit in the s domain. The circuit contains capacitances and and inductances. I've written a series of equations using Kirchoff's laws to ...
4
votes
2answers
266 views

Calculate information entropy integral in infinite square well problem

In the context of information theory, entropy is a measure of uncertainty of a random variable. In quantum mechanics, the uncertainty principle states that $\Delta x\Delta k \ge 1/2$. The same can be ...
4
votes
2answers
362 views

How to use SuperLog by loading SMLE.m

I am researching a software reliability model that has many parameters that need to be estimated. I want to use a maximum likelihood estimator (MLE) to estimate those parameters. After I searched ...
4
votes
2answers
517 views

Replacing gamma at half integers by double factorial

It is well-known that for any positive integer $n$ the equality $\Gamma(n+\frac12)=\sqrt\pi\,(2n-1)!!/2^n$ holds, where $!!$ stands for the double factorial. I am using ...
4
votes
1answer
148 views

Why are some equal expressions more equal than others?

n1 = 1/3 (2 + (-Sqrt[3] + 2 Sin[(2 π)/9])/(Sqrt[3] Cos[π/9] - Sin[π/9])); n2 = 1/2 + Sin[π/18]/(3 Cos[(2 π)/9] + Sqrt[3] Sin[(2 π)/9]); n3 = 2/3 (1 - Cos[4 π/9]); ...
4
votes
1answer
389 views

Checking if an Expression Falls within a Range

Is there a simple way in Mathematica to check under what conditions an expression (involving multiple variables) falls within a given range? For example, say I had a real-valued function f(x,y,z), ...
4
votes
1answer
69 views

FullSimplify on complex numbers seems inconsistent

FullSimplify[c Conjugate[c]] returns Abs[c]^2 while FullSimplify[2 c Conjugate[c]] ...
4
votes
2answers
209 views

Assumptions with patterns

I want that Mathematica assumes every symbol like Subscript[s,i] to be evaluate as a real and positive number. I have tried ...
4
votes
1answer
165 views

Simplifying expressions using rules that span nonconsecutive terms

Suppose there is some function with the property f[x,y] f[y,x^2] / f[x^3,y] == f[2x,y] How can I simplify an arbitrary expression that contains the lhs of the ...
4
votes
1answer
163 views

How to make Mathematica express an equation in terms of previously defined functions

I was given a problem for my physics class, and perhaps I have taken it too far, but I wish to finish what I started. I have a function (i warn you that this does not look pretty) ...
4
votes
1answer
136 views

Dealing with 6 VERY large equations. Am I doing this correctly, and can I expect a solution?

I'm new to Mathematica, but so far, everything seems straight forward and intuitive, which is really nice. However, I've come to use this software since I have to show a rather nasty 3x3 matrix is ...
4
votes
3answers
83 views

Automatically split an expression and use TrigFactor to solve the parts

I want to simplify the following expression: 1/2*(Sqrt[3]*Cos[x]*la - Sin[x]*la - lb + Sqrt[3]*Cos[x+y]*lf - Sin[x+y]*lf) I used ...
4
votes
1answer
90 views

Problem with Simplify, Sqrt, and Set: What's going on?

I am having some trouble getting Mathematica to simplify an expression of the form Sqrt[x]*Sqrt[1/x], where x>0. The problem is that x is assigned to some complicated form by the time Mathematica ...
4
votes
1answer
97 views

TensorReduce not simplifying transpose for symmetric matrix?

I know Mathematica is not very good with symbolic manipulation of matrix expressions, but I was surprised to find that it can't reduce the following expression: ...
4
votes
1answer
313 views

How to find the most compact form of an equation

I would like to know whether there is any general approach to obtain the most compact form of an equation with Mathematica. I used to believe that the ...
4
votes
1answer
337 views

Using Hold correctly with Simplify and ComplexityFunction

It seems like Mathematica immediately evaluates the expression Sqrt@I to (-1)^(1/4). I'm trying to use ...
4
votes
1answer
32 views

What do I need to know about simplifying expressions involving Symbolic Tensors?

I want to use Mathematica to show that the inner product of a vector with itself is equal to the square of its norm. This is what I tried: ...