Questions tagged [simplifying-expressions]

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

273 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
14
votes
0answers
250 views

Bug? Numerical calculation error with FullSimplify and arbitrary precision

Bug introduced after 5.2, fixed in 8.0, reintroduced in 9.0 and persisting through 12.1 Is this a bug? If I do FullSimplify[n E^(0``10 n)] then it returns <...
13
votes
0answers
112 views

Reduce[Sin[x]==0,x] splitting odd and even multiples of Pi

as from Title, I'm wondering why Mathematica does not automatically give a single, simple solution for the problem Reduce[Sin[x] == 0, x] for which I obtain the ...
12
votes
0answers
364 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 ...
10
votes
0answers
578 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
4k views

How to simplify an expression, using a known term substitution?

I have a complicated algebraic expression that involves a lot of similar terms. In particular, I have a complicated sub-expression involving sums and products that I would like to denote $\alpha$. I ...
7
votes
0answers
254 views

What is a “generic case”?

Introduction With this question I am coming back to a long-standing issue I have with Mma's concept of a "generically correct" result. The basic idea seems to be, vaguely, that if a result is true in ...
7
votes
0answers
106 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 ...
7
votes
0answers
64 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. ...
6
votes
0answers
344 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 ...
5
votes
0answers
117 views

Simplify, ComplexityFunction, and expression rearrangement

Context: Mathematica is being used to simplify expressions. These expressions are then exported to be used in a C-family language. Naturally enough, desiderata include execution speed, and avoidance ...
5
votes
0answers
134 views

Integrate under assumptions

I am trying to solve the following integral: $$\int_0^\infty u^{\sigma-1} \exp\left[-c u^\sigma\right] \mathrm{d}u$$ under the assumptions $\sigma \in (0,1)$ and $c>0$. I know the result is $$\...
5
votes
0answers
84 views

FullSimplify to minimum number of terms according to assumptions

I have a large expression that I want to simplify according to some conditions, which FullSimplify doesn't seem to take into account. For example, let's say I have: ...
5
votes
0answers
91 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
231 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 ...
5
votes
1answer
42 views

Is it better to use a single binary operator in each Assumption entry?

I am trying to understand why FullSimplify[x^a < 1, {0 < x^a < 1}] does not simplify but ...
4
votes
0answers
42 views

Force Solve to respect unit system

I give Solve quantities in FPS and it returns resulting quantities in SI, necessitating that I add an entire section to my workflow where I pick apart the solution ...
4
votes
0answers
46 views

On simplification of polynomials in several variables

Let us consider a polynomial expr = Expand[(x - 2*y + 1)^9 - x*(x + y)^8]; Mathematica does her best, simplifying it by ...
4
votes
0answers
123 views

Another example where using FullSimplify gives different result than Simplify

I believe this question is very similar to Result of Series[expression] is different when I simplify the expression, however, due to my lack of Mathematica experience, I am reluctant to call it a bug. ...
4
votes
0answers
52 views

A simple expression on which `Reduce` fails

The conditions in x ∉ Integers && y ∈ Integers && y == -(1/2) + x/2 are inconsistent but Reduce does not solve ...
4
votes
0answers
120 views

how to force simplification of power inequalities

These two simple expressions fail to simplify (Mma 11.1): ...
4
votes
0answers
336 views

Simplify hypergeometric function

Theorem: Let $H_n$ be the $nth$ harmonic number. Then $$\sum_{n=1}^\infty \binom{2n}{n} H_n x^n=\frac{2}{\sqrt{1-4x}}\log\bigg(\frac{1+\sqrt{1-4x}}{2\sqrt{1-4x}} \bigg)$$ How can I simplify ...
4
votes
0answers
108 views

Order of evaluation of FunctionDomain, Reduce, Solve, etc

For the input (mine is much more complicated, this is a toy example): x/x /. x -> 0 the output of 1 (as opposed to ...
4
votes
0answers
122 views

Why isn't Mathematica listening to my assumptions?

I'm trying to simplify the expression ωplus := 1/2 c (I f V + Sqrt[4 k^2 - f (f + 8 I k) V^2]) so that I can get it in the form $a+i b$. I am using the global ...
4
votes
0answers
894 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]] ...
4
votes
0answers
726 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 ...
4
votes
0answers
310 views

Better way to compute triple (or higher order) convolution

I have an identity that I want to verify: $$\sum_{i+j+k\ge 2}\binom{n}{i,j,k}{B_{N,i}B_{N,j}B_{N,k}}=\left(\frac{2N^2+n^2-3nN}{2N^2}\right)B_{N,n}+\left(\frac{3n^2-2n-4nN}{2N^2}\right)B_{N,n-1}+\...
4
votes
0answers
79 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: http://blog....
4
votes
0answers
123 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
84 views
+50

Simplifying the final coefficient expression of the solution to a Laplacian

I have been trying to solve a boundary value problem analytically which involves a three-dimensional temperature Laplacian over a parallelepiped. In the final step of my solution, using the two non-...
3
votes
1answer
54 views

Exploit bilinearity of KroneckerProduct symbolic calculations and inconsistence (apparently)

Mathematica 10 recognizes the bilinearity of the trace and the Kronecker product, as well as Tr$\otimes$Tr$(A\otimes B)=$Tr($A$)Tr($B$). But I have issues trying to implement this in symbolic ...
3
votes
0answers
53 views

How to speed up xTensor simplification?

I need to compute a variation of the 4th rang symmetric tensor. I've written a code that successfully computes it, but when I use the resulting tensor to compute the second variation the ...
3
votes
0answers
43 views

Kernel crash when simplifying piecewise function

So the kernel appears to just die whenever you try to simplify a piecewise function containing "Nothing". For example: this appears to kill the kernel $$\text{Simplify@}\begin{array}{cc} \Bigl[\...
3
votes
0answers
122 views

Simplifying Redundant Piecewise Cases

I would like to perform a summation from $1$ to $M$ of a simple piecewise function. For example, ...
3
votes
0answers
529 views

How to simplify exponentials into hyperbolic functions

I have a function of real exponentials and I'd like to simplify it using hyperbolic functions. How can I tell mathematica to use $e^x +e^{-x}=2\cosh(x)$ when simplifying? (and obviusly the $\sinh$ ...
3
votes
0answers
114 views

PiecewiseExpand fails with min of two piecewise functions

I have two Piecewise functions that are (in this case) just the empirical CDFs of two sets of data: ...
3
votes
0answers
43 views

Evaluating inequality involving powers

I want to evaluate an inequality of the form $x^a > x$ under the assumptions $x > 1$ and $a > 1$. I expect this inequality to be true, but ...
3
votes
0answers
113 views

What is are the symbolic simplification rules and when do they apply?

I know that the rules Simplify are obscure but maybe someone has an idea: if I evaluate Simplify[f[g[x]], {Equal[f[g[x]], 3]}],...
3
votes
0answers
107 views

FunctionExpand does not yield known simplification

Consider: Cosh[a ArcSinh[z]] // FunctionExpand Cosh[a ArcSinh[z]] Which seems to suggest that there is no simplification ...
3
votes
0answers
96 views

Error when simplifying a series expression

I have the following function which I call FF[q_,y_,u_] and this function is well known to have a reasonable Taylor expansion in all three variables. For example, ...
3
votes
0answers
208 views

FullSimplify, TransformationFunctions, Assumptions

How can I make Mathematica consider Assumptions in FullSimplify also when applying custom Transformation Functions? It works with the Automatic Transformation Functions: ...
3
votes
1answer
270 views

Find RSolve solution reflecting special structure of DifferenceRoot[Function[{\[FormalY], \[FormalN]}

RSolve yields a large (multi-page) solution (LeafCount=25891) containing a number of 7F6 (and higher) hypergeometric functions when applied to ...
3
votes
0answers
265 views

Bringing rational functions to canonical form

I have a complicated expression, which among other things has stuff like functions of rational functions: expr = f[x/(-x^2 + y)] + f[-(x/(x^2 - y))] (* + ...*) ...
3
votes
0answers
44 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
160 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
443 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
45 views

Simplifying expressions using elementary properties of integrals

I want to be able to use Simplify (or FullSimplify) to simplify expressions involving, for example, sums of integrals, for ...
2
votes
0answers
27 views

Computations with OptimizedExpressions without completely expanding them

I have to manipulate huge expressions that are rational functions of many (∼30) variables with integer coefficients. Storing them just as a ratio of two polynomials would be impractical. But they can ...
2
votes
0answers
77 views

Why aren't radians dimensionless?

α = Quantity[-3, ("Radians")/("Seconds")^2]; ω = Quantity[-4, ("Radians")/("Seconds")]; r = Quantity[2, "Feet"]; at = α r an = ω^2 r a = Sqrt[an^2 + at^2] ...
2
votes
0answers
41 views

Why FullSimplify doesn't work when subscript included?

This is OK. FullSimplify[l[t] + r[t], {m[t] == l[t] + r[t]}] But when I add a subscript to l, FullSimplify can not return the correct result. Is this a bug? I will be grateful if anyone can give me ...
2
votes
0answers
92 views

How to simplify this HypergeometricPFQ function

I want to simplify this expression HypergeometricPFQ[{-12 + x/2, x/2, x/2}, {-11 + x/2, x}, 1] I tried to use FunctionExpand ...

1
2 3 4 5 6