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

learn more… | top users | synonyms (3)

9
votes
0answers
111 views

Why is this evaluation halved when adding units?

Why does this strange behavior occur when dealing with units and quantities? ...
3
votes
1answer
67 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 ...
0
votes
0answers
88 views

Symbolic Tensor Algebra

I need to perform basic tensor algebra in order to double check some very complicated simplification. It's nothing fancy, it just has so many factors by the end that it's hard to tell if an error has ...
2
votes
2answers
96 views

Let mathematica combine integral limits

Is there a way to teach mathematica to combine integral limits according to $\int_a^b f dx+\int_b^c f dx=\int_a^cf dx$ to simplify expressions like $\int_0^1 f[t] dt+\int_1^x (1+f[t]) dt$ to $\int_0^t ...
6
votes
2answers
202 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 ...
2
votes
0answers
169 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
106 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
74 views

Trying to Simplify an Expression

I'm trying to simplify an expression: ...
3
votes
4answers
169 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 ...
8
votes
1answer
188 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
34 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
53 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
122 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
52 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
151 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
114 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
2answers
261 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
384 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
54 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
105 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
264 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 ...
1
vote
0answers
47 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
178 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
56 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
130 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
1answer
169 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
170 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
75 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
45 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
80 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
88 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
47 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
81 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: ...
2
votes
1answer
108 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} ...
2
votes
0answers
68 views

Better way to compute triple (or higher order) convolution

I have an identity that I want to verify. $$\sum_{i+j+k\ge ...
3
votes
1answer
77 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
88 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, ...
1
vote
2answers
93 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
93 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
50 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[]: ...
5
votes
2answers
180 views

How to simplify only the lowest level of a nested expression

I have a large expression that takes forever to simplify if I apply FullSimplify[...]. The expression has lots and lots of brackets that luckily already groups ...
1
vote
1answer
101 views

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

Element[Abs[Infinity], Complexes] returns False, that's right. But ...
4
votes
3answers
78 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: ...
0
votes
1answer
131 views
0
votes
0answers
51 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
122 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
49 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
48 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 ...
1
vote
1answer
90 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 ...