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

learn more… | top users | synonyms (3)

4
votes
0answers
88 views
2
votes
1answer
58 views

Simplifying the result of DSolve

I have a system of differential equations that can be solved with DSolve. However, the coefficients are very long there are like terms which can be combined. I used //FullSimplify in my code but the ...
1
vote
2answers
69 views

Convert imaginary exponentials to goniometric expressions?

Can I force Mathematica to re-express something like $$\left\{\frac{1}{2}i\left(\frac{1}{16} e^{-2 i (\alpha (1)+4 \alpha (2))} \left(-1+e^{8 i \alpha (2)}\right) \text{d$\alpha $}(1) \left(2 \left(2 ...
0
votes
1answer
42 views

How to simplify noncommuting multiplication of KroneckerProducts

I'm using NCALgebra. I was wondering if there is a way to simplify KroneckerProduct[a, b]**KroneckerProduct[c, d] to become: ...
4
votes
0answers
91 views

Simplest identity that cannot be proved by FullSimplify [on hold]

Apparently, FullSimplify is not able to prove all true identities, but usually it does pretty well when it comes to elementary functions. I'd like to know what are ...
0
votes
0answers
57 views

How to accelerate Simplify and Series? [closed]

A recent project of mine requires a lot of symbolic calculations in Mathematica and is very time consuming. By experiments I have found that the most time consuming parts are: ...
5
votes
2answers
180 views

ReplaceAll problem

Bug introduced in 10.1 and persisting through 10.2 or later Confirmed, as bug, by WRI: [CASE:3402234] I am trying to combine terms of the type ...
4
votes
2answers
109 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 ...
2
votes
1answer
42 views

Simplify trigonometric expression

Mathematica correctly simplifies the following expression: ...
0
votes
1answer
73 views

Using Simplify to perform substitutions [closed]

I have a matrix element $k_x$ and I want to substitute it as $-i\kappa$, I tried ...
0
votes
0answers
38 views

Simplifying sums of rational trigonometric functions

After simplifying the trigonometric functions as advised before (cf. Simplifying Expressions for FindMinimum), I obtained a sum of 62 similar expressions, the first three as in the below: ...
5
votes
3answers
181 views

How to simplify symbolic expressions with KroneckerProduct

Having $X,Y$ being symbols for matrices, I was wondering if there is a way to simplify expressions like KroneckerProduct[X, X] + KroneckerProduct[-X, X] to ...
1
vote
0answers
47 views

Simplify Integer powers in inequalities

I have a fairly simple expression that I am surprised Mathematica (10.1) won't simplify ...
3
votes
1answer
88 views

Separating exponential terms

Suppose I have a lot of expressions multiplied by factors such as: $$e^{-i\theta[1]-i\theta[2] - i\theta[3]-i\theta[4]-i\theta[5]}$$ I would like to separate this into a product of exponentials of ...
0
votes
0answers
62 views

Is there more simplification tricks in mathematica?

I need to simplify the following expression in order to use InverseLaplaceTransform for it (Further work will be done so in need a way to find a very simple ...
1
vote
2answers
117 views

Strange evaluation of an sum involving binomial coefficients

I stumbled upon this problem while playing with Mathematica 10. Can anyone help me explain the following behaviour? I define a sum ...
0
votes
2answers
50 views

Replacement rules do not apply for an expression inside a root

Say, you have an expression which looks like this: myexpr = (mess)+(some other mess)/( (mess)^3+(some other mess)^2 )^(1/3) Here the 'mess' in the name of terms ...
2
votes
1answer
186 views

Check for holomorphy of a function

Given a (rather complicated) function H(z), what is the best approach to check symbolically whether it is holomorphic? What I tried is checking explicitly the ...
3
votes
1answer
111 views

Simplify oversimplifies. What to do about it?

According to Mathematica 10: $$Simplify[\frac{\frac{1}{t^2}-1}{(t+\frac{1}{t})^2}]==\frac{1-t^2}{(1+t^2)^2}$$ However, the first equation does not tolerate $t=0$ because of a division by zero, but ...
2
votes
1answer
194 views

Simplify results further

I have an extremely long result in polynomial form following some matrix operations. However, given the symmetry of the problem, I can safely say that the solution will reduce much further than is ...
1
vote
1answer
63 views

How to reduce trigonometric expressions under special conditions

For the following problems I used "FullSimplify" and "TrigReduce" but I manage to reduce more by hand. ...
5
votes
2answers
109 views

How to use ForAll to prove things about functions?

Suppose I first declare: $Assumptions = ForAll[{a,b}, b > a, f[b] > f[a]] I (wrongly, as it turns out) assume that that this would cause ...
2
votes
1answer
79 views

Simplifying Expressions for FindMinimum

I am currently trying to apply the FindMinimum function to find the lowest energy of an expression. My current expression as of now is relatively complicated. It is the summation of 48 similar terms, ...
3
votes
1answer
95 views

Equality of Reciprocal with Negative Exponent

I want MMA to tell me if two, rather large, expressions are equal. My minimum working example follows. I want MMA to tell me that the following is true:$$x^n = \left(\frac{1}{x}\right)^{-n}$$ I have ...
13
votes
1answer
160 views

FullSimplify wrongly reduces expression to zero

Bug introduced in 9.0 and persisting through 10.2 or later I get the following output with a fresh Mathematica (ver 10.0.2.0 on Mac) session ...
6
votes
2answers
217 views

How to simplify only the lowest level of a nested expression [closed]

I have a large expression that takes forever to simplify if I apply FullSimplify[...]. The expression has lots and lots of brackets that luckily already groups ...
3
votes
2answers
260 views

How to enforce mathematica to analytically evaluate roots?

I am interested in simplifying expressions involving HeavisideTheta. A simple example could be: HeavisideTheta[1 + x - x^2 + x^3] The best I can achieve is with ...
11
votes
1answer
172 views

Using Simplify on a consistent system returns False

Bug introduced in 8.0 and persisting through 10.2 or later It's late, but am I missing something here? Why should two independent equations, which together are consistent, ...
1
vote
1answer
71 views

Pulling out a prefactor from a dot product

I have three complicated vectors u, v and w as well as three simple prefactors ...
2
votes
2answers
70 views

Trouble simplifying using Replace

I have the following expression: w.a.b.r+w.c.d.r I want to get: w.(a.b+c.d).r So far I used ReplaceRepeated: ...
1
vote
1answer
49 views

How to apply Simplify only to elements of list that cause specific Warning

I have a set of replacement rules I use to analytically compute nested integrals of very long symbolic expressions since Integrate literally takes forever. To do ...
0
votes
2answers
219 views

Simplifying symbolic expressions involving dot products

I have a function that outputs a large expression containing dot products of vectors. None of the vector components are known, so all dot products are symbolic. For instance, part of the output may ...
4
votes
1answer
130 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 ...
14
votes
1answer
354 views

How to enlarge Mathematica's knowledge about certain functions?

I'm often troubled with the following task. I need to carry out symbolical computations involving certain special functions. Let me take as an example Barnes gamma-function. It is included in ...
4
votes
3answers
156 views

How to simplify 1 - Cos[2x] to 2 Sin[x]^2?

I want to reduce all Cos[2 x] to 1 - 2Sin[x]^2, it seems Mathematica will always simplify ...
0
votes
1answer
29 views

Expanding a function with trigonometric expressions in a controlled manner by excluding addition identities

I want to simplify a nonlinear equation with trigonometric terms. After I've expanded I don't want to loose open terms to Trigonometric Addition Formulas ...
6
votes
2answers
61 views

Simplify expression to Integer

I have the following function: f[n_]:=(n-1) E Gamma[n,1]; I know that this expression always evaluates to an Integer, but Mathematica doesn't always output the ...
1
vote
0answers
47 views

How to remove parts of an expression

I have an expression where terms Transpose[R].R appear. R is a matrix with the property Transpose[R].R=IdentityMatrix[3]. How ...
9
votes
1answer
97 views

FullSimplify Produces Result that Includes Hold

Bug fixed in 10.2.0 In the course of developing a solution to Question 79183, I solved the equation ...
10
votes
3answers
997 views

Simplifying trig expressions containing Sqrt or Abs

The following Maple code can simplify abs(sin(x)) into -sin(x) given the condition ...
3
votes
1answer
85 views

Simplify a huge expression with limited memory

I would like to perform some analytical sums such as the following ...
0
votes
1answer
36 views

How to simplify a quotient with exponents (using power rules)

I'm trying to simplify the following expression (b (1 - x)^n (-1 + x)^-n (-1 + x - w x)^n)/(n (-1 + w) (1 - x + w x)). All parameters and the variable x should ...
-2
votes
1answer
35 views

How can I simplify this simple formula? [closed]

:) If we have x+(x*l), is it possible to simplify this, on having only one single x?
35
votes
4answers
2k views

Can I simplify an expression into form which uses my own definitions?

This seems like a simple thing to do, but I couldn't find anything relevant from Mathematica documentation. So suppose I have an expression: a*b/(a + a*Cos[a/b]) ...