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

learn more… | top users | synonyms (3)

2
votes
1answer
71 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
126 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
160 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
83 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
96 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
117 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
257 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
3answers
74 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
68 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
57 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
59 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
196 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
256 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
1answer
531 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
185 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 ...
1
vote
2answers
175 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
2answers
107 views

eccentric anomaly expansion equation

I try to use this simple algorithm (paper) to calculate the Eccentric Anomaly expansion: ...
1
vote
2answers
250 views

Simplify the multiplication such as $a*(b+c)$ to $a*b+a*c$

I am trying to solve this problem here but have to understand basics. Suppose I have a multiplication such as $a*(b+c+d+...+x)$. How can I multiply it to the result $a*b+a*c+...+a*x$? Trials ...
1
vote
2answers
138 views

Show Simplified Directives [closed]

Is there a way to force Mathematica to convert an already rendered Graphic to the simplified Directive form of that Graphic. Background: I am currently editing Graphics using Drawing Tools and then ...
1
vote
1answer
122 views

Unexpected result from FullSimplify

In the following simplification why doesn't Mathematica get a zero when asked to compute "Y-Z" eventually? ...
1
vote
1answer
134 views

Assumptions are not being applied to integral

I am trying to use assumptions to simplify an integral, but I can't seem to get the assumptions to apply themselves. Here is the code I am using: Note the expressions in the assumption can be found ...
1
vote
1answer
99 views

Expansion of Expression

I am trying to expand out expressions that have several terms similar to E[-lH] Sinh[l (H - h)] The Expand command just gives ...
1
vote
2answers
427 views

Replacing variable in an equation with an Interpolating function polynomial and plotting residual

I was trying to plot the residual for the solution of my PDE. However, I was unsure about a couple of things. I imported the data and created an Interpolation polynomial with ...
1
vote
1answer
251 views

Get Cos[2 x] in “Solve”

My goal is to get an analytical solution of x ( $\lambda$ in the problem), when $\epsilon$ (f[x] in the problem) is maximum (use inverse form). I found that if I can use trigonometric identity ...
1
vote
1answer
452 views

How to simplify Sqrt[1/x] Sqrt[x]?

In my expression, there appear terms of the form A^(B Sqrt[1/C] Sqrt[C]). Mathematica doesn't realize that this is just simply ...
1
vote
1answer
177 views

How can I eliminate $x_1$ from my two ODEs?

How can I get Mathematica to eliminate $x_1$ in the equations in the first box to achieve the equation in the second box? My code: ...
1
vote
1answer
177 views

Improve performance for finding Fibonacci number which have divisibility property

In this post, the OP requires finding a Fibonacci number having some divisibility property with Mathematica and Maxima. I tired tried that Mathematica code on Mathematica 9.0 and it's still slow ...
1
vote
2answers
195 views

Set all instances of Exp[-x_] to zero?

To simplify a huge expression efficiently, which involves a variable in a bunch of exponential functions going to infinity, I have tried to substitute ...
1
vote
1answer
181 views

Why is a non-convergent series simplified to zero?

Sum[Sin[n*x]*Sin[n] /. x -> 1, {n, 1, Infinity}] == Sum[Sin[n*x]*Sin[n], {n, 1, Infinity}] /. x -> 1 Sum::div: Sum does not converge. >> ...
1
vote
1answer
141 views

How to choose a solution of a differential equation?

I am trying to solve the following differential equation: ...
1
vote
1answer
70 views

Solve never terminates with simultaneous equation set

I have the following set of simultaneous equations that I want to solve symbolically. The two unknowns are $a$ and $d$. $a=\frac{c*(d/10)}{1 + (f/130) + (d/50)} - \frac{a}{1 + (a/100) + (d/100) + ...
1
vote
1answer
198 views

Factor a Vector

Does there exist a function in Mathematica that simply takes out a common factor from a vector/list of expressions? This seems like such a simple operation that I am surprised that I could not find it ...
1
vote
1answer
118 views

Collecting terms in an expression [duplicate]

I have an expression: ...
1
vote
1answer
270 views

How do I simplify an embedded sub-expression without affecting other sub-expressions?

I have an expression which is very large and which has several sub-expressions with head Conjugate. What I want to do is simplify the ...
1
vote
2answers
45 views

How to Simplify exponents?

I need to divide a Gaussian Mixture by it's widest component. When I do this, the exponents of the output end up a mess of terms in need of simplification, but ...
1
vote
2answers
52 views

Simplify power of KroneckerDelta

Why doesn't Mathematica simplify the following expression: FullSimplify[KroneckerDelta[x,y]^3] Since KroneckerDelta only ...
1
vote
1answer
80 views

Rationalize complex numbers

What is the best way to rationalize complex numbers, if not both the real and imaginary part are actually rational? According to the documentation, Rationalize ...
1
vote
1answer
59 views

Some question on “Reduce”

Is this my mistake? I am trying to solve ...
1
vote
1answer
53 views

Can someone please help me to state assumption?

I am currently trying to solve under what condition does the following term will be zero? ...
1
vote
1answer
114 views

How to simplify an expression into the sum of small fractions

I'm trying to simplify the following expression $$\frac{n.r \ p.q - (n.p + n.q) (p.r + q.r)}{(n.p + n.q)\ p.q}\to \frac{n.r}{n.p+p.q}-\frac{p.r+q.r}{p.q}$$ When I put it into Mathematica and use ...
1
vote
1answer
154 views

Simplifying fractions

What ComplexityFunction (or other technique) can I use to have Mathematica pull things out of fractions? I have a rational function of several variables and I'd ...
1
vote
1answer
102 views

Equation Simplification in Mathematica

I wonder if the following equation could be further simplified by Mathematica. There are $22$ Integrals involved and many of them are in the range $y_l$ and $y_u$. I would guess that at least those ...
1
vote
1answer
301 views

Simplify vector expression - is there something like “Factor” for vectors, dot products etc.?

I am looking for a way to simplify dot products etc. Here is a minimal example: Lets say I have two vectors a and b: Array[a,2] Array[b,2] Now I evaluate their ...
1
vote
1answer
130 views

Format Preservation of FullSimplify on Indexed System of Autonomous Equations

I currently have a large system autonomous differential equations. I've indexed a more managable dummy system of identical form, using Part to reference each ...
1
vote
1answer
172 views

How do you multiply out integer powers in a symbolic expression?

I have the following problem: I want to transform integer powers into a series of multiplications within symbolic expressions. E.g. x^3 should be written as ...
1
vote
1answer
33 views

Arrange equation in normal form

Is there a way, or if not, how could one define a function which takes an equation in any form (for example as given by FullSimplify): $$(A+X_0) x+By=3x$$ and ...