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

learn more… | top users | synonyms (3)

10
votes
0answers
271 views

Simplify and Sqrt, inconsistent behavior?

I have encountered some problems when using Simplify with expressions containing a square root and isolated a following test case ...
9
votes
0answers
121 views

Why is this evaluation halved when adding units?

Why does this strange behavior occur when dealing with units and quantities? ...
8
votes
0answers
341 views

Faster simplification of linear combinations of some specific functions

After some profiling I've found that my program spends most of its time in the simplification step. The program uses my simplification function many times (over different data). My calculation is not ...
6
votes
0answers
232 views

Using FunctionExpand to evaluate symbolic derivatives

Some symbolic derivatives of certain special function are not expanded automatically, but FunctionExpand often helps to get a derivative-free closed form ...
5
votes
0answers
97 views

Faster way to perform SameQ[Reduce[…], Reduce[…]]

I'm have some expressions that I need to confirm the equality of. SameQ[Reduce[...], Reduce[...]] works like a charm for the more simple expressions, however when ...
4
votes
0answers
90 views

Better way to compute triple (or higher order) convolution

I have an identity that I want to verify: $$\sum_{i+j+k\ge ...
4
votes
0answers
129 views

How to get mathematica to simplify a result

I have the following output $\text{Li}_2\left(3-2 \sqrt{2}\right)-4 \text{Li}_2\left(-1+\sqrt{2}\right)$. This turns out to be equivalent to $\displaystyle\log^2(1+\sqrt{2})-\frac{\pi^2}{4}$. How ...
4
votes
0answers
95 views

Simplifying expressions involving Divisible

FullSimplify[ Divisible[p^2 - 1, 24] , Element[p, Primes] && p > 3] Should evaluate to True, but I get ...
3
votes
0answers
55 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: ...
3
votes
0answers
111 views

Why does Mathematica show 4095/4096 terms in TrigExpand?

Clear[x, n]; expr = Cos[x]^(n - 2) (1 - Cos[x]^2 + Sin[x]); r=TrigExpand[expr] Where do those 4095/4096 comes from? It is correct, but it seems very strange ...
3
votes
0answers
167 views

Why doesn't Log[Gamma[]] simplify to LogGamma[] where it could?

I have been playing with various equations involving amount of permutations in relatively large sets. Easiest way to look at these is something like Log[10, bignumber!] . Often expressions, even ...
2
votes
0answers
88 views

Factor out a constant from a matrix

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
0answers
54 views

Construct single InterpolatingFunction from a mathematical combination of other IF's

Let's say I have an interpolated function f, like I might get as the solution to an NDSolve: ...
2
votes
0answers
54 views

Simplifying symbolic multiple sums

suppose I have a multiple sum with an unspecified number of indexes: $$\sum_{i_1=1}^n \ldots \sum_{i_k=1}^n x_{i_1}\otimes\ldots\otimes \hat{x_{i_j}}\otimes\ldots\otimes x_{i_k}$$ with $x_{i_j}$ ...
2
votes
0answers
76 views

Simplify large fractions

Hi i'm quite new with Mathematica and i'm experiencing some problems with Simplify and FullSimplify. I'm dealing with a sistem ...
2
votes
0answers
253 views

Extract common factor from vector or matrix

I can't believe this hasn't been asked before but I can't find anything. Is there a way to convince Simplify or FullSimplify to ...
2
votes
0answers
158 views

Apart for complex roots?

Let p[x] be a polynomial in x and consider the partial fraction decomposition of 1/p[x]. ...
2
votes
0answers
201 views

How to prevent simplification of hypergeometric functions resulting from integrations?

Definite integrals from 0 to Infinity over a product of two hypergeometric (including exponential, trigonometric, hyperbolic, ...
2
votes
0answers
207 views

Problems with Simultaneous Equation Solving

Let me first explain what I am doing and then I will explain the problem that I can't figure out. I am basically trying to solve 2 equations for 2 unknowns (a1 and ...
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 ...
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 ...
1
vote
0answers
46 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 ...
1
vote
0answers
56 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 ...
1
vote
0answers
90 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 ...
1
vote
0answers
47 views

Different results from Simplify and Reduce given inequality (x/y^2 != 0 && x != 0)

In: Simplify[x/y^2 != 0 && x != 0] Out: x != 0 && y != 0 However, if we use ...
1
vote
0answers
36 views

Simplifying And of equality expressions

This expression does not automatically simplify to False: a == 0 && a != 0 ...
1
vote
0answers
78 views

FullSimplify missing trivial rewrite

I'm trying to understand why Mathematica fails to find the Stirling numbers in the second sum below: ...
1
vote
0answers
52 views

Building a ComplexityFunction based on the size of the expression output

I am experimenting with the ComplexityFunction of Simplify and came up with this one: ComplexityFunction->Function[e,Rasterize[HoldForm[e],"BoundingBox"][[1]]] ...
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 ...
1
vote
0answers
48 views

Simplifying an inequality inside an answer by parts

I have the following piece of code where I'm evaluating a probability of a variable v being greater than some threshold under a Uniform distribution. ...
1
vote
0answers
40 views

Derive logistic choice probabilities symbolically

More generally, I am interested in learning what the current limitations of Mathematica are when using it for doing pure mathematics. A recent blog post by Stephen Wolfram (see: ...
1
vote
0answers
42 views

Finding simpler implied formulas while preserving contradiction

I have two Presburger formulas A and B such that A∧B≡False. From these I need to find "simpler" formula A′ (as simple as I can make it) such that A→A′ and A′∧B≡False. Is there any simple way to ...
1
vote
0answers
78 views

How to simplify expressions

I read several similar posts but I have not found a solution yet. However, I think that my problem should be quite easy. So here we are. Relations ...
1
vote
0answers
199 views

Is there a way to speed up Simplify and/or PolynomialReduce Modulus-> 2?

I'm trying to simplify a series of equations with at most 64 input terms. As the number of terms involved in the equations increase, the runtime seems to grow exponentially. Does anyone know of ways ...
0
votes
0answers
40 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: ...
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 ...
0
votes
0answers
61 views

PolyLog does not simplify

How come mathematica can not simplify a simple expression involving the PolyLog function? An example is: You know that ...
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 ...
0
votes
0answers
19 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, ...
0
votes
0answers
64 views

Is there a function equivalent to rewrite function in Sympy

Sympy provide rewrite function to rewrite expression in terms of other functions. ...
0
votes
0answers
49 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 ...
0
votes
0answers
42 views

Evaluating an expression after making a rule

Just starting to use this language. I'm interested in making a rule, then evaluating the same rule. I can't get Mathematica to do what I expect/want, so I'd be interested in seeing what I should to to ...
0
votes
0answers
46 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 ...
0
votes
0answers
50 views

Strange “Collect[…]” behaviour

I have a large expression which I need to simplify by pulling out a load of constant terms. Collecting terms seems to only work when the expression is expanded out, e.g. ...
0
votes
0answers
32 views

How to simplify this expression without this particular substitution?

I have the expression expr = -(m-2 r+b^2 (-7 m+6 r)) ((-m+r)^2+b^4 (-2 m+3 r)^2+b^2 (-3 m^2+10 m r-6 r^2))+(1+b^2)^2 m^3 Cos[t]^2 , to which I can bring to this ...
0
votes
0answers
54 views

How do I simplify Interval[{x,x}] to x?

How do I simplify Interval[{x,x}] to x ? Simplify and FullSimplify do not seem to do it.
0
votes
0answers
101 views

Simplifying trig function

I'm trying to simplify a long expression of trig function. I'm not particularly good at trig identities or Mathematica, so this is turning out to be quite a task :( I tried Simplify, FullSimplify, ...
0
votes
0answers
30 views

Extract the divergent/bounded part of a certain expression

Consider I have a power series which is function of $x$. A part of this expression is bounded when $x->\infty$, some remainder is on the other hand divergent when $x$ goes to infinity. What is the ...
0
votes
0answers
55 views

Why does Mathematica not restrict the domains of Rational Expressions?

As taught in High School Mathematics: $$\begin{array}{ccl} \left\{ {(x-3)(x+3)\over 5(x+3)} : \ x\ne -3 \right\} & \ne & \left\{ {x-3\over 5} : \ x\in\mathbb{R} \right\} \\ \left\{ ...