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

learn more… | top users | synonyms (3)

2
votes
2answers
174 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: ...
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
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 ...
2
votes
2answers
156 views

How can Mathematica help me to find a real radical expression for roots of this polynomial?‎

The polynomial $P(x)=x^‎‏4‏‎-‎‏4‏x^‎‏2‏‎-‎‏2‏x+‎‏1$‏‎ has ‎‏4‏‎ real roots (this can be clearly checked by plotting). But solving $P(x)=‎‏0‏‎$, using ...
2
votes
1answer
144 views

Taylor expansion of function of vectors—simplifying the output

I've got a real-valued function of several vectors $f(u,v,w)$ formed by taking scalar products of linear combinations of the vectors, I want to Taylor expand around small $v$ by writing $$f(u,\delta ...
2
votes
1answer
324 views

Truncate High order terms

Suppose I want to compute this : Series[Sin[1/f], {f, Infinity, 10}] but finally I prefer Sin[1/f] up to the fourth order in ...
2
votes
1answer
762 views

How to show factorial in expanded form with variables

When evaluating the following (Factorial[n + 1]/Factorial[(n + 1) - (k + 1)]) with Mathematica 9, the result is sent to output as ...
2
votes
2answers
635 views

How to expand a general expression in cross and dot product in Mathematica

I am looking for a way to simply the general expression in cross product and dot product with general vectors. I got a help in How do I simplify a vector expression? but soon I find that it doesn't ...
2
votes
2answers
305 views

FullSimplify inconsistency

I'm pulling my hair out with this one. I have two complex functions f and g, ρ is real. ...
2
votes
1answer
55 views

Simplify on a structured array

Why doesn't Simplify and FullSimplify operate on object generated using SymmetrizedArray? ...
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 ...
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 ...
2
votes
2answers
87 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, ...
2
votes
4answers
150 views

Cancelling units in two-argument ArcTan

Consider ArcTan[3, -3] (* out: *) -Pi/4 ArcTan[3 a Sin[t/2], -3 a Sin[t/2]] (* out: *) ArcTan[3 a Sin[t/2], -3 a Sin[t/2]] However, we can fix the ...
2
votes
1answer
225 views

Why FullSimplify doesn't work here?

Since the emphasis of this question is on finding a workaround, I decided to post this question with an emphasis on the explanation of the behavior of Mathematica. The Bessel function satisfies the ...
2
votes
1answer
258 views

How to select TransformationFunctions based on Assumptions made when using Simplify?

I am re-writing the question using a very simple example so not to confuse matters with the another question being asked where I used the example from there. In general, how to add logic to switch ...
2
votes
1answer
163 views

How to use TransformationFunctions on a compound expression?

I was trying to answer this question but having hard time with the correct way to write the transformation rule. Trying to write a rule to transform ...
2
votes
2answers
173 views

Substitution to write out powers of expressions

I am looking for a substitution command which will write out powers of expressions like this: $$\frac{a ~b^3~ c}{d~ e^{3/2}~ f^2}\to \frac{a ~b~b~b~ c}{d~ e^{1/2}~ e^{1/2}~ e^{1/2}~ f~f}$$ ...
2
votes
1answer
176 views

How can I get Mathematica to simplify my expression?

4.`*^-12 Sqrt[3.0254210421890627`*^22 - 6.25`*^22 T6^2] The above expression is equal to Sqrt[0.48406736675024997` - T6^2] ...
2
votes
3answers
36 views

Automatically split an expression and use TrigFactor to solve the parts

I want to simplify the following expression: 1/2*(Sqrt[3]*Cos[x]*la - Sin[x]*la - lb + Sqrt[3]*Cos[x+y]*lf - Sin[x+y]*lf) I used ...
2
votes
1answer
42 views

Dealing with functional equations

I have the specific function $G$ of $x$ satisfying the functional equation $G^3x=-1+G(1-x)+G^2x$. By using Mathematica, I would like to simplify the following polynomial of $G$ and $x$. $2 G^2 + 6 ...
2
votes
1answer
57 views

Pull out scaling factor from a denominator

How do I force mathematica to just pull out the scaling factor of 1/r from this expression. (a+b)/r edit: Sorry, perhaps my earlier formulation of the question wasn't clear enough. I would like ...
2
votes
1answer
110 views

Force Mathematica to return numerical answer to (relatively) complicated differential function

I am trying to take the Laplacian of the LogDet of a 2x2 matrix that I call V\[ConjugateTranspose].V, and actually get a number out at the end. Why does Mathematica ...
2
votes
1answer
74 views

What am I missing!? Simple symbolic sum not simplifying

I'm VERY confused: in what universe is the following not zero? FullSimplify[2*Sum[Subscript[f, i], {i, 1, q}] - Sum[2*Subscript[f, i], {i, 1, q}]] Mathematica ...
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. ...
2
votes
1answer
141 views

How to simplify an expression using a differential equation as an assumption?

I have a fluid dynamics flow described by a 3D velocity field such as u = {ux[x, y, z], uy[x, y, z], uz[x, y, z]} I want to calculate ...
2
votes
1answer
278 views

Want Wolfram|Alpha to assume $n$ is an integer [closed]

I would rather use Wolfram|Alpha on my iPad then Mathematica, so I need your answer to be applicable to W|A. I want to input a function or an expression in a way that Wolfram|Alpha will understand ...
2
votes
1answer
86 views

Simplify rearranges equations?

I've been using Simplify/FullSimplify to simplify some nasty equations, and by and large it does well but sometimes it rearranges equations in an unhelpful way. ...
2
votes
1answer
102 views

Simplify using functional equations

Is it possible to simplify assuming a functional equation, for examlpe to use that one function, g, is the invers of another, f. Simplify[g[f[x]], g[f[x_]] == x] ...
2
votes
2answers
128 views

Simplification with assumptions

I'm trying to make Mathematica do some simplifications for me. I have the expression ((1 + s[1]) (-1 + s[2]) )/(-1 + s[1] s[2]) and want to simplify this with ...
2
votes
2answers
274 views

Pulling out common terms when simplifying complicated equations

I have a complicated expression where common terms are apparent but Simplify[] and FullSimplify[] don't appear able, even with plenty of assumptions added, to reduce down to a simpler form with common ...
2
votes
3answers
1k views

Why doesn't Mathematica make an obvious simplification?

I am doing some calculation with summation and the Kronecker symbol. Here are my steps : ...
2
votes
0answers
54 views

Factor out a constant from a matrix

I've got a matrix in which every entry is of the form x/4. I cant find out how to factor out the 1/4 so that the actual matrix is clearer. Thanks for your help!
2
votes
0answers
44 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
35 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
62 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
3answers
80 views

Drop terms in expression

Suppose I have an expression of the this type: Quantity["Epsilonzero"] a (b + c Sin[ω t])^2 where t is time. I am interested in "extracting" the non ...
2
votes
0answers
168 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 ...
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]. ...
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 ...
2
votes
0answers
177 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
61 views

Simplifying a quadratic [duplicate]

I have a general query about simplifying expressions in Mathematica, which I will illustrate using quadratics. If I tell Mathematica to simplify $a x^2 + b x + c$ then ...
2
votes
0answers
198 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 ...
2
votes
0answers
48 views

Verifying integration by parts of an arbitrary function [duplicate]

Suppose that I have an arbitrary differentiable function $G$ which depends on $s$: $G(s)$. Now suppose that I want to do the following integral: $$\int ds \;\; s \frac{\partial G(s)}{\partial s}.$$ ...
2
votes
1answer
271 views

Variable substitution in sum's index

How cam I simplify Sum[UnitStep[-1 + n]/Sqrt[n!], {n, 0, ∞}] to $$\sum _{n=1}^{\infty } \frac{1}{\sqrt{n!}}$$ and then to $$\sum _{n=0}^{\infty } ...
1
vote
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$ ...
1
vote
3answers
189 views

How to manage list of list of rules?

Considering we have a list: str = "{1 -> {a -> aa, b -> bb}, 2 -> {2a -> \"{b -> bb}\"}}" Bringing this to expression gives: ...
1
vote
1answer
681 views

Simplify square roots

If I simplify an equation like Sqrt[A^5]+5*Sqrt[A^3]-Sqrt[A] then I get (A^2+5A-1)*Sqrt[A] with no problems. But when I need to simplify Sqrt[(A^5) (1 + a) ] + 5 Sqrt[A^3 (1 + a)] - Sqrt[A (1 + a)] as ...
1
vote
2answers
198 views

Construct a sum that evaluates its arguments but doesn't evaluate further

I'm trying to construct a sum like this: Sum[body, range] where body is ...