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

learn more… | top users | synonyms (3)

5
votes
2answers
221 views

Trigonometric simplification

How can I simplify 1/2 (Sqrt[3] Cos[x] - Sin[x]) in order to get Cos[x + Pi/6] on Mathematica? I saw that Wolfram|Alpha lists ...
5
votes
1answer
180 views

Restrict Mathematica command to what is inside parentheses

I have a bunch of expressions like this one: $\frac{e^{-\frac{7 J}{2 k T}} \left(2 e^{-\frac{2 g H \mu _B}{k T}}+e^{-\frac{g H \mu _B}{k T}}-e^{\frac{g H \mu _B}{k T}}-2 e^{\frac{2 g H \mu _B}{k ...
5
votes
1answer
253 views

Is there a way to track the Simplify process?

Is there any way to track how Mathematica actually performs Simplify, so that we can see what those "Automatic" transformation functions it applies are and how it ...
5
votes
1answer
79 views

Simplify with a condition

I have an expression, $-a (u + a v)$, and I would like to simplify it using the fact that $a^2 = 1$. I have tried Simplify[Expand[-a (u + a v)], a^2 == 1] but ...
5
votes
3answers
419 views

Running out of variables

I am running symbolic calculations with Mathematica. Simplification of algebraic expressions is an important part of them as very often final results can be simplified considerably. Typically my ...
5
votes
3answers
111 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
68 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
214 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
52 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
0answers
134 views

Better way to compute triple (or higher order) convolution

I have an identity that I want to verify: $$\sum_{i+j+k\ge ...
5
votes
2answers
177 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: ...
4
votes
2answers
418 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
587 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
406 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
250 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
1answer
77 views

Simplify $\tan(\arctan(a) - \arctan(b))$

I want to simplify the expression $\tan(\arctan(a) - \arctan(b))$ to $\tfrac{a-b}{1+a\cdot b}$ (if $b \neq - \tfrac{1}{a}$). Right now, the output of ...
4
votes
2answers
472 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
877 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
347 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
415 views
4
votes
2answers
392 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
772 views

Does the Im function work with symbolic arguments?

Does the Im function work with symbolic arguments? ...
4
votes
1answer
477 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
189 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
232 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
2answers
525 views

Simplifying expressions involving Sum

I am trying to use Mathematica to simplify a symbolic expression involving Sum. The expression is defined as follows: ...
4
votes
4answers
221 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
271 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
336 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
133 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
91 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
198 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
302 views

Mathematica doesn't simplify a simple expression

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

Checking if an expression is equal to zero

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

Why doesn't FullSimplify find simpler expression given a set of transformation rules?

I've defined a set of rules, which I want to use with FullSimplify, as follows: ...
4
votes
2answers
316 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
284 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
392 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
566 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
412 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
37 views

Simplify With Assumptions Not Using Distributive Property Of Dot Product

Given the following expression Assuming[(n | d | t) ∈ Vectors[3, Reals] && n.t == 0, FullSimplify[(n + d).t]] Why does mathematica give me the below ...
4
votes
1answer
83 views

FullSimplify on complex numbers seems inconsistent

FullSimplify[c Conjugate[c]] returns Abs[c]^2 while FullSimplify[2 c Conjugate[c]] ...
4
votes
2answers
215 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 ...