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

learn more… | top users | synonyms (3)

2
votes
1answer
72 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
83 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
109 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
167 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
914 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
57 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
170 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
229 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
1answer
286 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
746 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
2answers
154 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
85 views

eccentric anomaly expansion equation

I try to use this simple algorithm (paper) to calculate the Eccentric Anomaly expansion: ...
1
vote
2answers
245 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
131 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
118 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
128 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
93 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
1answer
128 views

Check for holomorphy of a function

Given a (rather complicated) function H(z), what is the best approach to check symbolically whether it is holomorphic? What I tried is checking explicitly the ...
1
vote
1answer
176 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
155 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
179 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
164 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
2answers
351 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
115 views

How to choose a solution of a differential equation?

I am trying to solve the following differential equation: ...
1
vote
1answer
65 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
101 views
1
vote
1answer
167 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
239 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
1answer
55 views

Some question on “Reduce”

Is this my mistake? I am trying to solve ...
1
vote
1answer
52 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
83 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
91 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
146 views

Cleaning up InverseLaplaceTransforms in Mathematica

I am attempting to use Mathematica to model an electrical circuit in the s domain. The circuit contains capacitances and and inductances. I've written a series of equations using Kirchoff's laws to ...
1
vote
1answer
116 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
146 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
3answers
76 views

FullSimplify assumptions for function body

I'd like to pass an assumption to FullSimplify so whenever it gets a function that is squared and square rooted would return me only the function body, without ...
1
vote
2answers
128 views

How can I separate two parts of power of Exponential functions?

How can I separate two parts of power of exponential functions in Mathematica? I have an expression similar to this one: a*b*Exp[u+v]+c*Exp[u] I want to set ...
1
vote
1answer
82 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
77 views

Use Simplify option Trig->False when 3rd argument to Collect is Simplify

I would like to simplify the following expression AAA (4 Sin[x]^2 Cos[x]^2) + AAA 4 Sin[x] Cos[x] + AAA with the ...
1
vote
2answers
188 views

How to simplify an expression with square roots?

The expression $\sqrt{L^2 M+\sqrt{L^2 (-J^2 + L^2 M^2)}}/\sqrt{2}$,can be simplified into $\sqrt{L}(\sqrt{LM + J}+\sqrt{LM - J})/2$, but how can I obtain this result with Mathematica? That is, how ...
1
vote
1answer
148 views

Mathematica won't simplify multiplication by zero

I'm getting a huge output, but it appears that almost every term should actually be zero, unless I'm misunderstanding the expression. For example, part of the output reads ...
1
vote
1answer
153 views

Collect and simplify both the coefficents and the matched patterns

(This is a far tighter version of a previous question I asked) The problem with Collect is that while Collect[exp, pattern, Simplify] will simplify the ...
1
vote
1answer
202 views

Comparative Statics on Mathematica

Let me first explain what I am doing then I will mention my little problem that I could not figure out. I am using Mathematica version 7. I have an equation named "fd" and I took the derivative of ...
1
vote
1answer
117 views

Trying to show an expression is always zero

I have a symbolic matrix $$m = \begin{pmatrix}A1 & B1 & C1\\A2 & B2 & C2 \\ A3 & B3 & C3\end{pmatrix}$$ and I believe that Det[m] is ...
1
vote
1answer
75 views

Declaring a positive variable [duplicate]

Why I have this behaviour? R /: Greater[R, 0] = True R > 0 => True Simplify[Sqrt[R^2]] => Sqrt[R^2] I expect R ...
1
vote
1answer
124 views

Why Solve and Simplify give different results? [closed]

I want to solve the following equation y == (1/(1/4 + y) - 1/(3/4 - y))/((1/4 + y) + 1/(3/4 - y)) I tried ...
1
vote
3answers
117 views

Auto simplifications of power products

Mathematica automatically simplifies Exp[a]Exp[b] to Exp[a+b]. The problem is now that I can't do this ...
1
vote
1answer
215 views

Inequality of reciprocal functions

Simplify[1/(1/a + 1/b)] { (a b)/(a + b) } That doesn't look right. The given function has an infinite term for a = 0 and one ...
1
vote
1answer
33 views

FullSimplify ratio of two gamma functions

I have the following input m = 2; Gamma[n + m]/Gamma[n + 1]; FullSimplify[%] It gives me 1+n For ...