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

learn more… | top users | synonyms (3)

6
votes
4answers
200 views

Minimizing a function with a constant $l > 0$

I'm VERY new to Mathematica and would like some help with minimizing a function. $$f(x) = \frac{1}{2} \sqrt{\frac{\left(l^4+x^4\right)^2}{l^4 x^2}}$$ I want to find which $x-value$ (probably ...
24
votes
1answer
569 views

A better simplification function

I am creating this question and posting an answer to it as a help for those who have problems with Mathematica simplification oddities that appear in other questions on the site. First of all, there ...
0
votes
0answers
87 views

PolyLog does not simplify

How come mathematica can not simplify a simple expression involving the PolyLog function? An example is: You know that ...
3
votes
1answer
335 views

Simplify doesn't simplify HypergeometricPFQ with exact arguments

Consider a series: $$\sum_{t=0}^\infty \frac{8^{-11-2t}(22+4t)!}{t!(11+t)!(11+2t)!(32+t)}$$ ...
1
vote
1answer
66 views

What am I missing on this part of the documentation?

In the documentation for FullSimplify, under Options > Assumptions it is stated that: When assumptions are given as an argument, $Assumptions is used as well: ...
2
votes
3answers
92 views

Simplifying Logs assuming arbitrary arguments real and positive

I have some expressions involving Logs which I would like to simplify. Unfortunately FullSimplify doesn't work because it assuming the arguments are general. I have no way of knowing a priori what the ...
4
votes
1answer
119 views

Collect without grouping terms

The built-in function Collect, when applied to more than one variable, will group expressions by the first variable, as here: ...
0
votes
0answers
18 views

Not Simplify automatic some expression(values)

I try to calculate $$\text{res}\left(h(z) (\psi ^{(0)}(z)+\gamma )^2,\{z,-4\}\right)$$ the result is $$\frac{1}{6} \left(6 h'(-4)-25 h(-4)\right)$$ the result it is possible to write as $$2 \left(6 ...
1
vote
1answer
145 views

Is there an easy way to let mathematica print out every Erfc and InverseErfc as F and F^{-1}

Mathematica uses complementary error function and its inverse as functions for example when integral of a Gaussian is taken. Therefore, all output expressions of Mathematica involve Erfc and ...
0
votes
0answers
26 views

Create Linear System from derivatives of variables and solve it [duplicate]

I have the following simply function: f[x_, y_, z_] = (x - A)^2 + (y - B)^2 + (2*z - C)^2 + (5 + z + x - D)^2 + (y - 2 + 2*x)^2 + (y - z + F)^2 I am ...
2
votes
1answer
75 views

Wrong result after Simplify of a complex variable with assumptions satisfying an inequality

Using Mathematica 10,Simplify[a\[Conjugate], Assumptions -> {(a + a\[Conjugate]) > 0}] returns a, i.e. treats ...
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 ...
3
votes
0answers
67 views

simplify expressions into sum function

Is there a way to have Mathematica simplify long expressions involving sums of variables into expressions using a sum function? Suppose I have something like this: ...
2
votes
1answer
76 views

Failure in the use of FullSimplify

My question is about an apparent failure of the function "FullSimplify" to simplify an easy algebraic expression. This is the expression that I ask Mathematica to evaluate: ...
0
votes
0answers
23 views

PolynomialGCD in complex numbers for vector simplification

I wanted to define a function $f(t,\vec{r})=e^{i\omega t-i\vec{k}\cdot\vec{r}}$, and take gradient of it. With, ...
7
votes
4answers
258 views

How do I invoke the default complexity function?

Documentation on ComplexityFunction says: With the default setting ComplexityFunction->Automatic, forms are ranked ...
2
votes
2answers
87 views

Common subexpression elemination of complicated function by nesting using HornerForm and Experimental`OptimizeExpression

I want to have common subexpression elimination of comlicated functions where the elimination is done by factoring out the expressions. The result is not to be digested by a compiler, it should remain ...
27
votes
1answer
3k views

Simplify matrix algebra

I'm trying to simplify some matrix linear algebra, for example, simplify $$\big(a1\times(A1\cdot A2)\big)\cdot\Big(a2\times A3\cdot A4+(a3\times A5)\cdot(a4\times A6)\Big)^{T}$$ where lower case ...
0
votes
2answers
148 views

Simplify large sum of fractions to shortest representation

I appear not to be able to find a way to simplify the sums of fractions like the following example to their shortest representation. For me shorteste representation means, to have as few as possible ...
3
votes
1answer
110 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: ...
4
votes
2answers
518 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 ...
0
votes
0answers
138 views

Is there a function equivalent to rewrite function in Sympy

Sympy provide rewrite function to rewrite expression in terms of other functions. ...
2
votes
4answers
107 views

how to cancel arbitrary term in fractional formula

I often encounter this kind of problem that I want the fractional formula to be looked like the way I want it to be. For example, this one $$\frac{R^2 \left(g m_1-g m_2\right)}{J+m_1 R^2+m_2 R^2}$$ ...
13
votes
2answers
284 views

Transform an expression to remove the singularity

I have the expression Sin[c x]/c. Clearly it is undefined at $c=0$, but that is merely a removable singularity, since $$\frac{\sin(cx)}c=x\frac{\sin(cx)}{cx}= ...
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 ...
5
votes
2answers
202 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 ...
0
votes
0answers
54 views

FullSimplify cascades too much/groups variables too eagerly

This is something FullSimplify will give: $$\frac{n (s+\text{s2})-\text{a1} g}{\text{a1} (g-\text{a2} s)+s (s+\text{s1}) (s+\text{s2})}$$ I could find better examples where FullSimplify cascades ...
14
votes
2answers
441 views

Behavior of Reduce with variables as domain

When using Reduce, I accidentally put a set of variables as the domain. To my surprise, it not only seems that Reduce expects ...
0
votes
1answer
78 views

How to shorten/simplify my plotting code

Is there a way to simplify and shorten my code? ...
1
vote
0answers
85 views

Simplification with absolute value

I have a long expression that has absolute values in the exponent. Some parts of the expression would clearly simplify if one assumes that the power is an odd or even integer. When I give one of this ...
3
votes
2answers
218 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 ...
2
votes
0answers
180 views

Factor out a constant from a matrix [closed]

I've got a matrix in which every entry is of the form x/4. I cant find out how to factor out the 1/4 so that the actual matrix is clearer. Thanks for your help!
2
votes
1answer
146 views

Inverse Laplace Transform difficulty

I am asked to find the inverse Laplace transform of: $$F(s)=\frac{2s^2+s+13}{(s-1)((s+1)^2+4)}$$ I did the partial fraction decomposition by hand and got: $$F(s)=\frac{2}{s-1}-\frac{3}{(s+1)^2+4}$$ ...
1
vote
1answer
331 views

Solving a complex logarithmic equation

I am trying to solve the following equation for $x$, with integer $n$. (1 - ((-1 + x)^E x^(1 - x) Log[x]^-E)^(1/(-1 + E)))/(-1 + x) == n
0
votes
2answers
81 views

How can I put the results of TrigFactor function into a more convenient form?

a1 D11 Cos[n x] + a0 a1 D11 Cos[n x] + 1/2 a1 a3 D11 Cos[n x] + 1/2 a2 a4 D11 Cos[n x] I have a large trigonometric expression. Can I factor out different ...
2
votes
1answer
95 views

Dealing with functional equations

I have the specific function $G$ of $x$ satisfying the functional equation $G^3x=-1+G(1-x)+G^2x$. By using Mathematica, I would like to simplify the following polynomial of $G$ and $x$. $2 G^2 + 6 ...
1
vote
2answers
92 views

How to stop FullSimplify from returning Root objects

I have several expressions in a series, such as 1/4 (-(1/4) + Sqrt[5]/4 + I Sqrt[5/8 + Sqrt[5]/8]) (-1 - Sqrt[5] + 2 Sqrt[7/2 + (5 Sqrt[5])/2]) If I run ...
0
votes
0answers
40 views

How can I put the results of TrigReduce function into a more convenient form? [duplicate]

a1 D11 Cos[n x] + a0 a1 D11 Cos[n x] + 1/2 a1 a3 D11 Cos[n x] + 1/2 a2 a4 D11 Cos[n x] .......for example this expression can be written like ('expression') * ...
0
votes
0answers
60 views

Pulling out terms from an expression

I have an expression that is in a really complicated form but I know can be written like this: F[X,Y] = AX^2+BY^2+CXY where A,B, and C are complicated terms, but split up F[x,y] into a more ...
3
votes
2answers
133 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-.-): ...
-2
votes
1answer
333 views

I don't want Erf[x]

I would much rather have the expression remain as an integral rather than have Mathematica convert it into $\mathrm{erf}$. Is this possible? I always end up differentiating the $\mathrm{erf}$ ...
1
vote
3answers
207 views

How to manage list of list of rules?

Considering we have a list: str = "{1 -> {a -> aa, b -> bb}, 2 -> {2a -> \"{b -> bb}\"}}" Bringing this to expression gives: ...
0
votes
1answer
84 views

Simplify does not simplify

I have this expression Simplify[2 wb Z - 2 w xiR^4 Zb - 2 xiR^2 Sqrt[(wb Z - w xiR^4 Zb)^2/xiR^4]] which is actually zero when just calculated by hand, with ...
0
votes
1answer
92 views

Root: Simplifying symbolic expression

I'm doing calculations with a lot of symbols, which don't always gives nice expressions. Now I have a solution with a Root-expression, where the coefficients are symbolic, e.g. ...
1
vote
2answers
141 views

Collect distributed sums

I have another task that somehow should be trivial. Suppose I have the following expression $$ \sum_{i=1}^n \frac{2}{9} x_i + 2 \sum_{i=1}^n \frac{1}{9} x_i, $$ or in Mathematica-FullForm ...
1
vote
0answers
93 views

Real part of a sum

I would like to take the real part of the following expression: Sum[(a[i] + I b[i]) r^i/(r^2 + z^2)^i, {i, 0, 2 n}] where all of ...
2
votes
0answers
78 views
0
votes
2answers
51 views

Expand “hierarchical” system of equations

I have a system for equations that is structured hierarchically: - Level 0: these are base variables that I can measure from a process (e.g. a,b,c) - Level 1: these are variables derived from Level 0 ...