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

learn more… | top users | synonyms (3)

3
votes
3answers
441 views

Simplify big numbers in a second order equation

How can I simplify big exponents like $10^{39}$ in the solution of a second order equation: ...
3
votes
4answers
296 views

Simplify binary expressions

Is it possible for Mathematica to do simplifications for expressions where the variables are binary, such as: a + b = 1 + 2*c => a + b = 1 Here c must be 0 because if it is 1, the RHS is 3 but ...
3
votes
1answer
264 views

Decomposing a complex numbers equation into its real and imaginary part

I have an equation such as: a*z^2 + b*(z - c)^2 == d where z is a complex variable and a,...
3
votes
2answers
336 views
3
votes
1answer
58 views

Simplifying a trigonometric function with arctan

Why is this trigonometric expression with $\arctan$ not simplified ? ArcTan[Tan[γ[t] - θ[t]]]
3
votes
2answers
126 views

Simplification of products of KroneckerDelta[]

What is the reason why the following expression does not simplify to True? ...
3
votes
1answer
302 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 ...
3
votes
1answer
128 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 ...
3
votes
1answer
114 views

How to control cancellations with Simplify functions?

FullSimplify only simplifies the result of the following calculation halfway, leaving a lot of $e^{x^2/v}$ and $e^{m^2/v}$ terms that could have been cancelled: <...
3
votes
2answers
167 views

How to simplify exponents of the form $\exp\left(i\frac{2\pi}{N}(N+1)\right)$ inside a function

I'm really annoyed with Mathematica and I need your help. I defined a discrete Fourier-Transformation(I use II instead of N, because Mathematica wont let me-.-): ...
3
votes
2answers
261 views

How can Mathematica help me to find a real radical expression for roots of this polynomial?‎

The polynomial $P(x)=x^‎‏4‏‎-‎‏4‏x^‎‏2‏‎-‎‏2‏x+‎‏1$‏‎ has ‎‏4‏‎ real roots (this can be clearly checked by plotting). But solving $P(x)=‎‏0‏‎$, using ...
3
votes
4answers
416 views

Mathematica not able to confirm its own solution to differential equation

I type the following into Mathematica: DSolve[q''[x] + 2 x/(x^2 - 1) q'[x] - 4*q[x]/(x^2 - 1) == 0, q[x], x] It gives me the result ...
3
votes
2answers
99 views

Detecting operator Set in Assumptions

Here is a typical issue: Simplify[x + y, x = y] produces 2 True. Is there a way to detect operator ...
3
votes
2answers
354 views

integral, explicit form

I want to estimate the ratio of integrals: $$ \frac{\int \frac{4 a T^3}{\frac{4 a T^4}{3}+\Lambda_1 \left(\frac{4}{T^3}+1\right)}}{\int \frac{4 a T^3}{\frac{4 a T^4}{3}+\Lambda_0 \left(\frac{4}{T^3}...
3
votes
1answer
135 views

How could I expand the formula in terms of $X_{i}^{2}$ and $X_{i}X_{j}$ using Mathematica?

I have the following formula, where $X_{i}$, $i=1,2,...,n$ are variables: $F_{1}(X)$=$\frac{1}{n}\sum\limits_{k=1}^{n}\left ( a_{0}X_{k}+a_{1}X_{k}(\frac{k}{n})+a_{1}\sum\limits_{i=k}^{n}X_{i}\frac{1}...
3
votes
1answer
205 views

Strange behavior of Reduce with a cubic equation

This equation: $(\frac{-a}{x})^2=\sqrt{\frac{1}{x}}$ at $a > 0$ and $x > 0$ has a clear solution $x=a^{4/3}$, doesn't it? However, ...
3
votes
1answer
1k views

How to get rid of all complex numbers and functions?

For almost esthetical reasons, I always have been fascinated by infinite sums of series and I always wonder if theyhave a closed form. A couple of days ago, I found on MSE a question related to the ...
3
votes
1answer
401 views

How to implement Condition programmatically?

I am writing my own symbolic functions with custom symbolic properties. So often I wish to introduce some automatic simplifications or evaluations, which return the same head as it's argument. This ...
3
votes
1answer
372 views

What's the correct method to simplify exponentials?

I have a sum of exponentials that I'd like to simplify. The issue is when I use Simplify, Mathematica loves to factor out one exponential factor. See below: $$e^{-i ...
3
votes
3answers
109 views

Simplification behaviour of subscript expression: is this correct?

Why does the code (Mathematica version 10.0.2.0, Linux x86-64): Subscript[Subscript[S,i],j] Subscript[Subscript[S,i],j] // Simplify output the expression: $(...
3
votes
2answers
128 views

Show Factorial instead of Gamma in the result of RSolve

Now I wanted to solve for a recurring function with RSolve. Here's how I tried: ...
3
votes
2answers
62 views

To simplify an expression further

I have solved the following Eq to get hz: ...
3
votes
1answer
44 views

Simplifying nested KroneckerProducts

Any suggestion how to bring a nested KroneckerProduct form into just one? I mean some how converting ...
3
votes
1answer
111 views

Simplify a huge expression with limited memory

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

Merge Roots of Polynomial

How can I make mathematica "merge" solutions of a polynomial by using $\pm$ instead of listing the two solutions fully with only one sign difference? In particular, I am looking to "compactify" the ...
3
votes
1answer
143 views

Write Integer powers as products

I need to wirte all occasions of (a+b)^3,Ftp^2, Sin[th]^2, ...etc as (a+b)*(a+b)*(a+b), Ftp*Ftp, Sin[th]*Sin[th], ...etc ...
3
votes
1answer
129 views

How to get a more compact form of this probability calculation?

Inspired by the probability calculation here, I am trying to solve a little general one: $$\mathbb{P} (\sum_{i=1}^{m-1} A_i + \sum_{i=1}^{m} S_i < L < \sum_{i=1}^{m} A_i + \sum_{i=1}^{m+1} S_i)$...
3
votes
2answers
191 views

Mathematica not recognising closed forms as specific values

I have a Mathematica program that outputs a piecewise function, and some parts of the expression are not being recognised as specific numbers when using FullSimplify...
3
votes
1answer
114 views

How to make Mathematica Simplify?

Let us define r1 = 1;r2 = 2; and ...
3
votes
1answer
310 views

Simplify equations with pattern assumptions

When simplifying an expression using Simplify[expr, assumptions], the assumptions has to be explicit. Is it possible to simplify an expression with pattern ...
3
votes
1answer
108 views

Check that a relational expression is true for all complex numbers

How can I use Mathematica to check if a statement like $$\left| \frac{\sqrt{1+2z}-2}{2z-3} \right| \le 1$$ is true for all complex numbers $z$? Also, how can I use Mathematica to check such a ...
3
votes
3answers
130 views

How to obtain this expression in terms of real functions

I know that this expression (2 (ArcCot[E^(-((I ϕ)/2)) r] + ArcCot[E^((I ϕ)/2) r]))/π is real, because is the sum of a real series, in particular: ...
3
votes
1answer
100 views

Simplifying a complicated expression (with no variables)

I am trying to obtain some exact analytical results without resorting to numerical approximations, and I ended up with a pretty huge expression that Mathematica is really struggling with. It has no ...
3
votes
1answer
34 views

Numerator not recognized

Here is a set of simple equations ...
3
votes
1answer
67 views

How to prevent extraction of constants from radical sign?

To me, the expression Sqrt[2]Sqrt[x] is more complex than Sqrt[2x]. But even if I merely input the latter, I get the former as ...
3
votes
1answer
56 views

Why doesn't a real variable's conjugate evaluate to itself?

I have this code (it's just a snippet to exemplify my issue): Assuming[Element[a, Reals],Conjugate[a]] Which results in the output: ...
3
votes
1answer
87 views

Simplifying an expression with complex variables

The other day I was trying to simplify the following expression of $w \in \mathbb{C}$ and $|w| < 1$: $$f(w) = \left|\frac{2}{(\frac{w+1}{1-w}+1)^2}\right|^{-\Delta} \cdot \frac{1}{\left|{\rm Re}(\...
3
votes
1answer
53 views

How to get Mathematica to make further simplifications to conditional expressions than it has already made?

I have the following Mathematica result under the assumption that {ax, bx, px, ay, by, py} \[Element] Reals, and after refinement by ...
3
votes
2answers
80 views

Is there a function for “flattening out” and setting to 0 an expression?

For example if I have some complicated expression (all variables are positive integers) but I want to multiply everything out so there are no denominators and then rearrange so that it is equal to 0, ...
3
votes
2answers
373 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 ...
3
votes
1answer
246 views

FullSimplify ratio of two gamma functions

I have the following input m = 2; Gamma[n + m]/Gamma[n + 1]; FullSimplify[%] It gives me 1+n For ...
3
votes
1answer
55 views

Add rational linear expressions

I want to set work for my 17 year old calculus students and have access to Mathematica 7. I aim to create a worksheet with rational expressions which they will then decompose into partial fractions. ...
3
votes
4answers
211 views

How do I prevent exponents from being expanded when displaying text

I have a power of 2 in a list, and I want it to show as $2^{31}$ (2 with exponent 31), not 2147483648. I've tried this: ...
3
votes
1answer
346 views

How to simplify to form without imaginary unit

I have an integral that I compute with Mathematica and as a result I get a seemingly complex expression (i.e. the expression contains the imaginary unit, $i$, at some places). However, if I try to ...
3
votes
2answers
680 views

Expanding Matrix Expressions

I want Mathematica to recognize that A.(-B.C)+A.B.C = 0 Yet FullSimplify and the like leaves the expression as it is. How do I get around this?
3
votes
1answer
657 views

Nested Sums to multiple sum

I would like to automatically "move nested sums to the left". I mean, just take out of an expression all the summations and go from a nested Sum to a multiple sum. Something like starting with: ...
3
votes
1answer
73 views

Replacing patterns (determinants) in a rational multivariate function and/or getting `replacementFunction` to work on a multi-linear expression

Given a rational multivariate function known to contain determinants, what is the best way to rewrite the function in terms of the determinants? A simple example: ...
3
votes
1answer
177 views

Separate variables in equation

I need to know is there a way to separate the desired variables in the equation at one side of the equality. For instance, the following equation ...
3
votes
1answer
142 views

Factor fraction, where variable occurring in both, numerator and denominator, only appears once

I have an expression like $$\frac{1+a^2+2 a \cos\left(p\right)}{\left(1+b^2\right)z-1-a^2-2 \left(a+b z\right)\cos\left(p\right)}\text{.}\tag{1}$$ Is there a combination of Mathematica functions to ...