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

learn more… | top users | synonyms (3)

5
votes
2answers
97 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 ...
0
votes
0answers
7 views

An equation involving fractional expressions [on hold]

(3/x + 5/x+2) = 2 How come when I solve this equation by setting the RHS of the equation to zero I receive x = 1, -3 AND when I ...
1
vote
1answer
63 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
89 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
155 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
216 views

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

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
254 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
167 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
67 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
66 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
47 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
209 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
126 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
349 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
133 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 ...
-2
votes
0answers
45 views

Find list element matching pattern

I have the following list: {A , B.C , B.C.S[d].S.F} I need to find the index of all elements containing S[d].S, i.e. an ...
0
votes
1answer
27 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
59 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
44 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
966 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
83 views

Simplify a huge expression with limited memory

I would like to perform some analytical sums such as the following ...
0
votes
1answer
35 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
32 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?
34
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]) ...
2
votes
3answers
113 views

Question on alternate forms of polynomial output

EDIT: Would it be possible to do something like let $y=ax+b$ then use Collect[] or Apart[] on the new expression? How would I go about this. I've tried using Collect[%,ax+b], Collect[%,{ax+b}], and ...
0
votes
0answers
36 views

How to print intermediate steps of simplifying a power formula? [duplicate]

To answer the question of proving Fibonacci sequence is periodic mod 5 without using induction., I came across Mathematica to prove $$F_{n}\equiv F_{n+20}\pmod 5$$ for all $n \geq 2$ I defined: ...
6
votes
1answer
72 views

How to simplify expressions by closing open inequalities?

Recently I have often acquired results which consist of combinations of 0, 1 and 2-dimensional (in)equalities. For instance, consider a very simple case with ineq1 ...
14
votes
1answer
227 views

What's wrong with Simplify and FullSimplify?

I have a quite complex list of equations and inequalities I combine to a boundary condition for my cost function. After investigation of two days I found the bug (I really name it a bug!). One of my ...
2
votes
1answer
184 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 ...
4
votes
1answer
77 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 ...
5
votes
2answers
606 views
0
votes
1answer
155 views

Simplifying square root expressions

I have read lots of questions on square root simplification on MMA, but I haven't really seen my problem posted (or understood a clear way to deal with this issue). I am simplifying some expressions ...
0
votes
1answer
30 views

How can I manipulate a long expression to order it by factors/derivatives of a particular function?

I have a Mathematica notebook that generates a linear expression involving derivatives of a given variable. Expanded (and simplified for our purposes), it looks something like this: \begin{equation} ...
1
vote
0answers
45 views

Inverse Laplace computation Mathematica

I have a transfer function such as following, which I would like to find its inverse: F=(a*s^2)/(b*s^3+c*s^2+d*s+e) I have a numeric value for a b c d and e but ...
2
votes
1answer
93 views

Simplification of exponential

I would like to understand why FullSimplify doesn't entirely simplify this expression ...
1
vote
0answers
103 views

Summing the probability distribution to 1 to convince myself

I have worked out a probability distribution and want to check its sum which is necessarily 1. First we write $$ r \triangleq \frac{(2 \lambda + \mu)^2}{2(\mu + \lambda)^2}, \quad s \triangleq ...
6
votes
4answers
175 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
513 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
56 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
257 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
59 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 ...
0
votes
2answers
108 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 ...
4
votes
1answer
87 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
110 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 ...