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

learn more… | top users | synonyms (3)

6
votes
2answers
287 views

How to simplify Boolean expression

I would like to simplify $$((p\oplus q)=True)\wedge(p=True)$$ to $$q=False$$ I was hoping BooleanMinimize[((p ⊻ q) == 1) ∧ (p == True)] would do the trick, but ...
3
votes
0answers
698 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
121 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 ...
0
votes
0answers
93 views

Trying to Simplify an Expression

I'm trying to simplify an expression: ...
3
votes
4answers
296 views

Simplify binary expressions

Is it possible for Mathematica to do simplifications for expressions where the variables are binary, such as: a + b = 1 + 2*c => a + b = 1 Here c must be 0 because if it is 1, the RHS is 3 but ...
10
votes
1answer
270 views

How to prevent simplification?

I have a question about the concept of simplification. I want to explain it with an example. When I write $4/8$ in mathematica, output is 1/2. How can I return ...
1
vote
1answer
43 views

hold specific pattern in symbolic calculation

I encounter some questions when I try to simplify a symbolic expression using Mathematica. For example, I got an intermediate expression ...
2
votes
1answer
76 views

Prevent Simplify from using cot

I have the following problem. I got a huge equation to simplify and in there are numerous $\cos(x)$ and $\sin(x)$ terms and now it happens that Simplify changes terms like $(...+\cos(x)*a+...)$ to $(.....
3
votes
1answer
143 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 ...
0
votes
0answers
113 views

Using assumptions when calling Simplify from Collect

I am quite new to Mathematica, so please be patient ;) I have a very long equation that I have to sort for powers of a variable called e and that I want to ...
6
votes
4answers
214 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 ...
2
votes
1answer
195 views

FullSimplify wont simplify to expression with lower SimplifyCount

I have been trying without success to get FullSimplify to work on some trigonometric expressions. It refuses to convert them to forms that are clearly much ...
3
votes
3answers
459 views

Fullsimplify does not simplify Abs'[1.-a]

I have to simplyfy an expression involving Abs' This works: FullSimplify[Abs'[1 - a], a ∈ Reals] Sign[1 - a] but this ...
4
votes
3answers
411 views

How to transform power of -1 into exponential [duplicate]

After FullSimplify, Mathematica usally gives some coefficients like ((-1)^(1/5)) But I don't want this form, I want ...
1
vote
1answer
70 views

simplification issues

The first are from an old paper, dealing with the evaluation of elastic Green function in a transversely isotropic medium (Hill 1964). ...
2
votes
0answers
402 views

Apart for complex roots?

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

A short notation to fix the assumption that all involved parameters are, say, positive

Often I make simplifications or other operations with assumptions. Sometimes the assumptions simply state that all parameters involved are positive. I wonder, if there is a short notation for such a ...
2
votes
0answers
65 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
2answers
389 views

A simple expression that Mathematica can't simplify

I'm using Mathematica 9. I encountered an expression that Mathematica couldn't simplify to a simpler form: ...
1
vote
2answers
99 views

Simplifying an exponential expression [duplicate]

I have an expression: (1/a^13)^(1/13) I want Mathematica to simplify it to '1/a'. How do I do it? 'Simplify' and 'FullSimplify' don't work.
12
votes
0answers
141 views

Why does this happen with FullSimplify? [duplicate]

It is stated at the Wolfram Documentation Center (FullSimplify/Possible Issues) that: Why and when this could happen? How to avoid it? Any patterns? Edit: As pointed out in the comments, this ...
3
votes
2answers
373 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 ...
0
votes
1answer
369 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 ...
2
votes
1answer
97 views

How to show that an expression is 0 if FullSimplify never finishes

I have a huge expression. And I have "checked" numerically that it is 0 for real value variables. However, due to the size and structure of the expression FullSimplify seems to be having a hard time. ...
0
votes
1answer
70 views

Taking function output as shown, and processing it regardless of its history

I am making some symbolical calculations for my quantum chemistry class. I am supposed to build a wave function composed of multiple other functions, each of which is also composite of some lower ...
1
vote
0answers
112 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 \...
0
votes
1answer
114 views

Simplify returns wrong result [duplicate]

For some particular reason, Mathematica makes wrong calculations when using Simplify[]. I need Simplify[] for a fractional decomposition of some fractions of low-order polynomicals. Here is a (...
1
vote
0answers
53 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. ...
0
votes
1answer
117 views

How to re-express solution to system of equations after truncating the solution at a given order to give an exact answer

I have a simple enough system of two equations that need to be inverted: ...
3
votes
1answer
129 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} S_i)$...
5
votes
0answers
146 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}+\...
23
votes
1answer
2k views

A one line proof that one is zero using Mathematica 10

a = (Sqrt[2] + 1) (Sqrt[2] - 1) - 1; {a/a, Simplify[a]/a, b/b == Simplify[b]/b} {1, 0, True} This one line "proof" that ...
3
votes
1answer
83 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 ...
2
votes
2answers
102 views

Parabola plotting tangential to x = const, and y= const

ContourPlot[ pm Sqrt[x - a] + pm Sqrt[y - b] == Sqrt[c], {x, 0, 2 a}, {y, 0,2 b}] plots a parabola, but only a part between points of tangency (a, 0) and (0, b)...
1
vote
2answers
165 views

Simplifying an expression given a known variable relation

I am wondering if there is a way to simplify an algebraic expression given a known variable equation using Mathematica. For instance, I wish to simplify an expression for the heat change in a process: ...
0
votes
1answer
108 views

What does the expression “Total[funca[a,#] & /@ #] & /@ {x,y}” possibly mean?

Can the expression be simplified as "Total[funca[a,#]] & /@ {x,y}"? What does the double of "& /@" mean? Where can I find some reference? Updated According to Mr.Wizard's answer, I now know ...
0
votes
0answers
62 views

How to control factor gathering in Simplify

To make my results more readable, I need to make MMA gather terms differently. In this example, Simplify gathers terms by common z[]: ...
1
vote
1answer
151 views

Why Abs[Infinity] is an element of the real numbers

Element[Abs[Infinity], Complexes] returns False, that's right. But ...
5
votes
3answers
117 views

Expand just first level of an expression

Is there a way to build a function to expand just the first level of powers and products of an expression? Edit: $$\text{ExpandUpToLevel}\left[\left(\left(x^2+1\right)^2+1\right)^2,1\right]=\left(x^...
0
votes
1answer
196 views
0
votes
0answers
73 views

Handling Accuracy and Simplifying

I have the following problem. I have a system of non-linear equations that I log-linearize around a certain point, let's call it point A, using a function that I ...
4
votes
2answers
170 views

Remove redundant parameters from equation

I have random expressions like (b1 x + b2 x)/(b3 + b4/b5 x) + Sin[b6 x] where $x$ is a variable and {b1, ..., b6} are parameters to be fitted. This expression is ...
0
votes
1answer
55 views

Why don't these assumptions result in further simplification?

I'm trying to simplify an expression, which has a factor of $\lambda(\lambda-1)$, where $\lambda$ may be either $1$, or $0$. So I try: ...
2
votes
1answer
65 views

Is there a simple function identify the sign of an expression given constraints

I'm looking to find a simple function that can identify the sign of an expression given a set of constraints. I have looked around and do see that there is a few threads on this but I'm not sure I ...
2
votes
1answer
158 views

How can I simplify this implicit equation to an explicit equation

How can I simplify this implicit equation to an explicit equation: Tan[5 y/12] - (7 y/((x)^2 + (y)^2 - (3.5)^2)) == 0 i.e: $y=f(x)$ where $y$ is a explicit ...
1
vote
2answers
98 views

Convert imaginary exponentials to goniometric expressions?

Can I force Mathematica to re-express something like $$\left\{\frac{1}{2}i\left(\frac{1}{16} e^{-2 i (\alpha (1)+4 \alpha (2))} \left(-1+e^{8 i \alpha (2)}\right) \text{d$\alpha $}(1) \left(2 \left(2 ...
0
votes
1answer
47 views

Simplifying a fraction with bringing in new variables

Let's say I have a fraction like this: (a b x^2 + a^3 x) / (a^2 b x) and I would like to simplify it by multiplying both the numerator and the denominator with <...
1
vote
2answers
358 views

How do I check to see if two expressions are equal?

This is what I am trying: (2 x - 2 Sqrt[x (x - v)] - v)/(2 x + 2 Sqrt[x (x - v)] - v) == (Sqrt[x] - Sqrt[x - v])^4/v^2 but it's not working. Can someone tell me ...
1
vote
1answer
53 views

simplifying the range of two definite integrals

Today, I tried to obtain the solution of the following equation, sol = DSolve[ {m v'[t] + \[Gamma] v[t] == \[Xi][t] , v[0] == v0}, v[t], t] The solution, of ...