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

learn more… | top users | synonyms (3)

11
votes
0answers
298 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 ...
8
votes
0answers
382 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 ...
7
votes
0answers
67 views

Need explanation on strange behavior of Simplify under given assumption

This is quite surprising to me. Simplify[a == b, {a == {1}, b == {1}}] a == b does not evaluate the equality, while ...
6
votes
0answers
46 views

Unexpected behaviour of Simplify

I'm evaluating an expression and to me the result should be True but Mathematica is giving me a different result. ...
5
votes
0answers
52 views

External and internal Assumptions on `PiecewiseExpand` and `Mod`

After this question I'm intrigued about the different behaviors depending where and how the assumptions are given. ...
5
votes
0answers
135 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
157 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
99 views

Simplifying expressions involving Divisible

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

Can Mathematica reliably determine the equality of any two constructible numbers?

A constructible number is any number which can be expressed with only natural numbers and the operators $+$, $-$, $\times$, $/$, $\sqrt{}$ (square root only). Is Mathematica's ...
3
votes
0answers
77 views

How to force Series[] to compute expansions by considering non commutative multiplication?

I wish to compute the Taylor series expansion of the following iteration method $x_{k+1}=x_k-f'(x_k)^{-1}f(x_k)$ up to four terms of error ($e_k=x_k-\alpha$). When this is a scalar iteration, I very ...
3
votes
0answers
115 views

Is it possible to simplify an expression in vector form, which involves crossproduct and dot product?

I often need to simplify expressions involving cross product and dot product, for example: f = Dot[Cross[Cross[p1 - p, e1], Cross[p2 - p, e2]], Cross[p3 - p, e3]] ...
3
votes
0answers
33 views

commutative matching

I've been doing some work that results in the creation of hundreds or thousands of equations with the same answer. To prevent them from collapsing to their simple answers, each has been passed through ...
3
votes
0answers
74 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
633 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 ...
3
votes
0answers
118 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
58 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: ...
2
votes
0answers
65 views

Complicated implicit plotting - can it be tackled?

I'm quite new to Mathematica and have already spent tons of time on problems of this type, browsing through tutorials and topics here. I'm now coming to conclusion that it cannot be done and am about ...
2
votes
0answers
55 views

Simplifying symbolic expressions using TensorExpand

Following my previous question I have this issue using TensorExpand: KroneckerProduct[x, y].(KroneckerProduct[2 z, w]) // TensorExpand results in ...
2
votes
0answers
85 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
126 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
97 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
357 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
62 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]]] ...
2
votes
0answers
259 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
214 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
54 views

Output in FunctionExpand for function of Gamma

I used of this code: α Gamma[α] // FunctionExpand and get output: Gamma[1 + α] Also I used of this code: ...
1
vote
0answers
51 views

How to make TransformationFunctions work with Simplify

Here is a transformation function that replaces f with a polynomial: ...
1
vote
0answers
48 views

Eliminate a variable from a differential equation and an algebra equation then collect the remaining variables

Recently, I am attempting to eliminate a variable from a differential equation (DE) and an algebra equation (AE), then collect the remaining variables as a new (grand) parameter. Actually, I have ...
1
vote
0answers
47 views

Write trigs in terms of Cosine only

I have a long expression having terms that go in squares like Sin[x]^2 and Sin[x/2]^2 and so on... I would like to rewrite my ...
1
vote
0answers
36 views

Factoring rationals from equation based on digit complexity?

Consider an equation of the following type: ( poly = (3 x)/35 + (6 y)/7 ) == 0 If we apply the command Factor to this ...
1
vote
0answers
53 views

Running out of memory when doing non-commutative arithmetic

I need to calculate particular coefficients of the composition of two power series in non-commutative variables. The code below which works fine truncates power series in degree $n=5$. For $n=6$ (the ...
1
vote
0answers
63 views

DiracDelta of a function

If I have, for instance, FunctionExpand[DiracDelta[x^2+x-3]] it evaluates to ...
1
vote
0answers
91 views
1
vote
0answers
88 views

General suggestions to accelerate Simplify and FullSimplify

To my understanding, the function Simplify[] and FullSimplify[] work by applying a series of built-in transformation rules to ...
1
vote
0answers
66 views

“Reduce” works fine for a non-linear system with 9 equations, but cannot solve it if 10 equations. Any ways to improve the code?

I am trying to solve a class of problems, which are basically about a solution to a system of non-linear equations subject to the constraint that some subset of solutions must be non-decreasing. I ...
1
vote
0answers
66 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
58 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
95 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
96 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
61 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
47 views

Simplifying And of equality expressions

This expression does not automatically simplify to False: a == 0 && a != 0 ...
1
vote
0answers
83 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
110 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
52 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
44 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
84 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
258 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
30 views

Reduce expressions modulo quadratic monomials more efficiently?

I need to evaluate a function of the matrix $\begin{pmatrix}A & B\\ C&D\end{pmatrix}$ and arbitrary odd primes $p$ and $q$. Moreover, I need to set all non-linear terms in the $A,B,C$ and $D$ ...