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

learn more… | top users | synonyms (3)

3
votes
1answer
386 views

How to implement Condition programmatically?

I am writing my own symbolic functions with custom symbolic properties. So often I wish to introduce some automatic simplifications or evaluations, which return the same head as it's argument. This ...
3
votes
1answer
358 views

What's the correct method to simplify exponentials?

I have a sum of exponentials that I'd like to simplify. The issue is when I use Simplify, Mathematica loves to factor out one exponential factor. See below: $$e^{-i ...
3
votes
3answers
95 views

Simplification behaviour of subscript expression: is this correct?

Why does the code (Mathematica version 10.0.2.0, Linux x86-64): Subscript[Subscript[S,i],j] Subscript[Subscript[S,i],j] // Simplify output the expression: ...
3
votes
2answers
82 views

Show Factorial instead of Gamma in the result of RSolve

Now I wanted to solve for a recurring function with RSolve. Here's how I tried: ...
3
votes
2answers
52 views

To simplify an expression further

I have solved the following Eq to get hz: ...
3
votes
1answer
41 views

Simplifying nested KroneckerProducts

Any suggestion how to bring a nested KroneckerProduct form into just one? I mean some how converting ...
3
votes
1answer
107 views

Simplify a huge expression with limited memory

I would like to perform some analytical sums such as the following ...
3
votes
1answer
78 views

Merge Roots of Polynomial

How can I make mathematica "merge" solutions of a polynomial by using $\pm$ instead of listing the two solutions fully with only one sign difference? In particular, I am looking to "compactify" the ...
3
votes
1answer
135 views

Write Integer powers as products

I need to wirte all occasions of (a+b)^3,Ftp^2, Sin[th]^2, ...etc as (a+b)*(a+b)*(a+b), Ftp*Ftp, Sin[th]*Sin[th], ...etc ...
3
votes
1answer
125 views

How to get a more compact form of this probability calculation?

Inspired by the probability calculation here, I am trying to solve a little general one: $$\mathbb{P} (\sum_{i=1}^{m-1} A_i + \sum_{i=1}^{m} S_i < L < \sum_{i=1}^{m} A_i + \sum_{i=1}^{m+1} ...
3
votes
2answers
174 views

Mathematica not recognising closed forms as specific values

I have a Mathematica program that outputs a piecewise function, and some parts of the expression are not being recognised as specific numbers when using ...
3
votes
1answer
111 views

How to make Mathematica Simplify?

Let us define r1 = 1;r2 = 2; and ...
3
votes
1answer
280 views

Simplify equations with pattern assumptions

When simplifying an expression using Simplify[expr, assumptions], the assumptions has to be explicit. Is it possible to simplify an expression with pattern ...
3
votes
1answer
108 views

Check that a relational expression is true for all complex numbers

How can I use Mathematica to check if a statement like $$\left| \frac{\sqrt{1+2z}-2}{2z-3} \right| \le 1$$ is true for all complex numbers $z$? Also, how can I use Mathematica to check such a ...
3
votes
1answer
874 views

Simplifying an ArcTan expression

The expression $\tan ^{-1}\left(\frac{\sqrt{L^2 \sin ^2(\theta )}}{\sqrt{L^2 \cos ^2(\theta )}}\right)$ can be simplified to $\theta$. After some attempts I got the following to do the job. ...
3
votes
3answers
354 views

Mathematica not able to confirm its own solution to differential equation

I type the following into Mathematica: DSolve[q''[x] + 2 x/(x^2 - 1) q'[x] - 4*q[x]/(x^2 - 1) == 0, q[x], x] It gives me the result ...
3
votes
1answer
62 views

Simplifying an expression with complex variables

The other day I was trying to simplify the following expression of $w \in \mathbb{C}$ and $|w| < 1$: $$f(w) = \left|\frac{2}{(\frac{w+1}{1-w}+1)^2}\right|^{-\Delta} \cdot \frac{1}{\left|{\rm ...
3
votes
1answer
47 views

How to get Mathematica to make further simplifications to conditional expressions than it has already made?

I have the following Mathematica result under the assumption that {ax, bx, px, ay, by, py} \[Element] Reals, and after refinement by ...
3
votes
2answers
78 views

Is there a function for “flattening out” and setting to 0 an expression?

For example if I have some complicated expression (all variables are positive integers) but I want to multiply everything out so there are no denominators and then rearrange so that it is equal to 0, ...
3
votes
2answers
317 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 ...
3
votes
1answer
51 views

Add rational linear expressions

I want to set work for my 17 year old calculus students and have access to Mathematica 7. I aim to create a worksheet with rational expressions which they will then decompose into partial fractions. ...
3
votes
4answers
196 views

How do I prevent exponents from being expanded when displaying text

I have a power of 2 in a list, and I want it to show as $2^{31}$ (2 with exponent 31), not 2147483648. I've tried this: ...
3
votes
1answer
320 views

How to simplify to form without imaginary unit

I have an integral that I compute with Mathematica and as a result I get a seemingly complex expression (i.e. the expression contains the imaginary unit, $i$, at some places). However, if I try to ...
3
votes
2answers
549 views

Expanding Matrix Expressions

I want Mathematica to recognize that A.(-B.C)+A.B.C = 0 Yet FullSimplify and the like leaves the expression as it is. How do I get around this?
3
votes
1answer
595 views

Nested Sums to multiple sum

I would like to automatically "move nested sums to the left". I mean, just take out of an expression all the summations and go from a nested Sum to a multiple sum. Something like starting with: ...
3
votes
1answer
123 views

Separate variables in equation

I need to know is there a way to separate the desired variables in the equation at one side of the equality. For instance, the following equation ...
3
votes
1answer
126 views

Factor fraction, where variable occurring in both, numerator and denominator, only appears once

I have an expression like $$\frac{1+a^2+2 a \cos\left(p\right)}{\left(1+b^2\right)z-1-a^2-2 \left(a+b z\right)\cos\left(p\right)}\text{.}\tag{1}$$ Is there a combination of Mathematica functions to ...
3
votes
1answer
182 views

Why do I get Floor and Ceiling in my output despite my assumptions

I am trying to simplify the following expression. ...
3
votes
1answer
194 views

Simplify product of square roots

What assumption is needed to make both outputs equal to Sqrt[P^2]/2 ...
3
votes
2answers
59 views

Simplify with assumption of unknown function [duplicate]

I have an unknown multivariate function entry[x,y,z], which is positive. Then how to get FALSE and entry[1,2,3] in the following evaluations? ...
3
votes
1answer
81 views

Integrate[] does not work when the function has an antiderivative function

This function (1 + (1 + 1/(2*Sqrt[x]))/(2*Sqrt[Sqrt[x] + x]))/(2*Sqrt[x + Sqrt[Sqrt[x] + x]]) has the antiderivative function, since ...
3
votes
1answer
135 views

Do not understand expression returned by FullSimplify

Why Mathematica returns (sec x)^2? (Tan[x]^2 + 1 - Sec[x]^2)/(Sin[x]^2 + Cos[x]^2 - 1) // FullSimplify Sec[x]^2 Because ...
3
votes
0answers
90 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
32 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
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: ...
3
votes
0answers
486 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
116 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: ...
3
votes
0answers
171 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
2answers
517 views

Rewriting one expression using a variable representing another expression [duplicate]

I have two expressions: w1 = (a+b)/c^2; w2 = (a^3 + 3 a^2 b + 3 a b^2 + b^3)/c^6; How can I ask Mathematica to try to find an alternative expression for ...
2
votes
2answers
155 views

FullSimplify used with Assuming giving unexpected results

Can someone shed some light on why Assuming[{x ∈ Reals}, x (Sign[x]^2 - 1)] // FullSimplify returns x (-1 + Sign[x]^2) ...
2
votes
2answers
1k views

Simplifying expressions with square roots

I would like Mathematica to simplify this expression: $4 \left(16 \sqrt{\left(-1+2 c^2\right)^2}-32 c^2 \sqrt{\left(-1+2 c^2\right)^2}+\sqrt{\left(1-8 c^2+8 c^4\right)^2}\right)^2$ ...
2
votes
5answers
131 views

How to convert string to integer list?

Saying we have a string: "1 2 3 4 5 6" I want to convert this to integer list. First I do: ...
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}$$ ...
2
votes
2answers
252 views

Simplifying expression to evaluate limit as $y\rightarrow 0$

I often end up with a function that contains the term $1/(1 + x^2/y^2)$, and I need to evaluate this in the limit $y\rightarrow 0$. By hand, I can rewrite this as $y^2/(y^2 + x^2)$, but how can I tell ...
2
votes
3answers
192 views

Simplify a composition of functions

How do I make Mathematica simplify, for example, (1-#&)@*(1-#&) into #&? ...
2
votes
2answers
76 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: ...
2
votes
1answer
299 views

Another square-root simplification problem

In a certain sequence of computations, sometimes I'll get an expression of a form such as Sqrt[u^4 + 4 u^6] which it is necessary to have converted ...
2
votes
2answers
110 views

Puzzling behavior produced by Exists

I need to simplify a set of solutions of a system, say for example: ...
2
votes
3answers
145 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 ...