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

learn more… | top users | synonyms (3)

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 ...
4
votes
2answers
426 views

Why doesn't FullSimplify simplify expressions with DiracDelta?

I want to simplify a complicated expression with some Dirac delta distributions, but FullSimplify does not do what I want. Specifically, I want ...
1
vote
1answer
239 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
2answers
69 views

Simplification assumptions strange behavior

I am trying to cancel common factors under square roots in some expression with all positive real variables: $$\text{Simplify}\left[\frac{\left(3+\sqrt{6}\right) \sqrt{g} \text{nn}^4}{2 \sqrt{\text{nn}...
5
votes
2answers
481 views

Simplifying general solutions of differential equations (driven harmonic oscillator)

Solving general differential equations in Mathematica usually leads to somewhat unsightly results. As an example, consider the solution of the driven, damped harmonic oscillator: ...
5
votes
2answers
188 views

Simplification due to recognition of dummy indices in sums?

Today I noticed something weird concerning implicit sums. Apparently, Mathematica cannot recognize dummy indices as such and simplify accordingly. Consider: ...
4
votes
1answer
312 views

Mathematica doesn't simplify a simple expression

The question is simple as that. I have: ...
3
votes
0answers
62 views

Derive logistic choice probabilities symbolically

More generally, I am interested in learning what the current limitations of Mathematica are when using it for doing pure mathematics. A recent blog post by Stephen Wolfram (see: http://blog....
12
votes
1answer
366 views

Mathematica 10 unable to Simplify[Cos[2 ArcCos[A]]]

Mathematica 10 evaluates Simplify[Cos[2 ArcCos[A]]] as Cos[2 ArcCos[A]], instead of the desired ...
2
votes
1answer
177 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 ...
1
vote
1answer
86 views

How to set products of small variables to zero

Say I have an expression which contains different product combination of very small variables, say, δA, δB, δC. I want to set all the products and all the ...
5
votes
1answer
203 views

Simplifying a b = 1 in non-commutative products?

Yesterday, I try to define some rules for non-communicative multiplication, here. I find some quite helpful rules, but things still do not work properly; the distributive rule can't be applied (e.g.: <...
0
votes
1answer
115 views

Expand a rational function in a one degree partial fraction, but not include a two degree expression?

How can I expand a rational function into a one degree partial fraction, and not include a two degree expression? For example, for Apart[] will get but I want the following result: What ...
6
votes
2answers
254 views

Simplify 2D polyhedral Regions like Interval

I don't think there's a built in "RegionSimplify" for polyhedral Regions and derived akin to how Interval automatically simplifies its argument expression: ...
0
votes
0answers
55 views

Custom simplification of symbolic definite integral with regards to bounds

I would like to rewrite symbolic definite integrals such that the bounds are always positive. For example : $\int_{-\infty}^\infty f(x) \mathrm{d} x \rightarrow \int_0^\infty \left[ f(x) + f(-x) \...
3
votes
2answers
259 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 ...
3
votes
1answer
189 views

Why do I get Floor and Ceiling in my output despite my assumptions

I am trying to simplify the following expression. ...
5
votes
1answer
215 views

Why does Mathematica not simplify this expression?

Consider this simple example: ...
1
vote
1answer
89 views

Guiding Mathematica to perform specific simplifications

I would like Mathematica to cancel out a specific term as much as possible. One of my computations simplify to ...
3
votes
1answer
213 views

Simplify product of square roots

What assumption is needed to make both outputs equal to Sqrt[P^2]/2 ...
3
votes
2answers
255 views

What would be the inverse function for the following condition?

I tried the problem but i couldn't take above condition in question in terms of f(x)
4
votes
1answer
535 views

Can I check if an expression is positive using assumptions?

I have the following notebook: ...
8
votes
2answers
347 views

FullSimplify giving unexpected result

When I perform a FullSimplify on the list $$ \left\{-\sqrt{5-2 \sqrt{6}},\sqrt{5-2 \sqrt{6}},-\sqrt{5+2 \sqrt{6}},\sqrt{5+2 \sqrt{6}}\right\} $$ I get $$ \left\{\...
15
votes
3answers
324 views

Why does Mathematica simplify $x/x\to1$?

If I enter x/x, I get 1. Such behavior leads to this: Simplify[D[Sqrt[x^2], x, x]] 0 ...
3
votes
1answer
245 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 ...
5
votes
1answer
182 views

Restrict Mathematica command to what is inside parentheses

I have a bunch of expressions like this one: $\frac{e^{-\frac{7 J}{2 k T}} \left(2 e^{-\frac{2 g H \mu _B}{k T}}+e^{-\frac{g H \mu _B}{k T}}-e^{\frac{g H \mu _B}{k T}}-2 e^{\frac{2 g H \mu _B}{k T}...
2
votes
1answer
216 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
2answers
150 views

eccentric anomaly expansion equation

I try to use this simple algorithm (paper) to calculate the Eccentric Anomaly expansion: ...
0
votes
1answer
174 views

Simplifying a symbolic product of rational powers

I'm trying to symbolically evaluate a lot of equations that can consist of up to 10 parameters. The form of these expressions is a product/quotient of rational powers of the mentioned parameters, ...
1
vote
1answer
64 views

Some question on “Reduce”

Is this my mistake? I am trying to solve ...
10
votes
1answer
354 views

Expanding derivatives of hypergeometric functions

Sometimes Mathematica expresses results of integration or summation in terms of symbolic derivatives of Hypergeometric2F1 function, and cannot further simplify ...
1
vote
1answer
61 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? ...
3
votes
1answer
224 views

Is this a bug in FunctionDomain (V.10)?

I used FunctionDomain[1/(x^3 + 1), x, Complexes] and got 1 + x^3 != 0 Is this a bug in FunctionDomain (V.10)? Can I receive $x \neq -1$, $x \neq \dfrac{1-...
2
votes
3answers
171 views

Simplify system functions

Consider the code defining two constants: a=Cos[t] b=Sin[t] Suppose that we have another value in terms of Cos[t] and ...
4
votes
1answer
285 views

Infinite expression encountered when simplifying ArcTan sums although the result is finite

If I attempt to simplify the sum ArcTan[1/x] + ArcTan[x] with ArcTan[ Simplify[ TrigExpand[ Tan[ ArcTan[1/x] + ArcTan[x]]]]] ...
0
votes
1answer
206 views

FullSimplify with assumptions

Is there a way to write a FullSimplify at the end of the line with some assumptions? That is, if I write a^2+b^2+2 a b //FullSimplify[...] is there any way to ...
0
votes
2answers
208 views

Expand 2f[x] to f[x]+f[x] (Simplify sums of ArcTan)

I'm trying to simplify an expression with sums of ArcTan, for which I've written a transformation rule that works for simple sums, so that ...
0
votes
0answers
27 views

Simplifying (A+B)* C doesn't work [duplicate]

This is simple, but it doesn't work: In[1]=FullSimplify[(A0 + B0) C0] Out[1]=(A0 + B0) C0 which should be: A0 C0+ B0 C0 It ...
22
votes
1answer
581 views

Transform Root objects into Trigonometric expressions

Consider the Root objects roots = Table[Root[-1 + 27 #1^2 - 162 #1^4 + 243 #1^6 &, i],{i,1,6}] These can be expressed in terms trigonometric functions as ...
6
votes
3answers
274 views

Converting expressions to “edges” for use in TreePlot, Graph

This question is similar to this: Nested list to graph. How to "flatten" an arbitrary expression, eg expr = a[b[c, d[e][f], g], h] to a list of key-value pairs ...
0
votes
2answers
94 views

Convert an expression from one form to another

I have this expression -0.433284-0.758719 x+0.00289158 x^2-0.443672 y+0.00149027 y^2 I want to express it in terms of $$\frac{(x-h)^2}{b^2}+\frac{(y-k)^2}{a^2}$$....
0
votes
1answer
75 views

strange result with trigonometric triple integral [duplicate]

I'm defining functions e[k_, t_] := Cos[Pi (k - 1) t] cosIntRaw[k_, l_, m_] := Integrate[e[k, t] e[l, t] e[m, t], {t, 0, 1}] cosInt[k_, l_, m_] := Assuming[Element[{k, l, m}, ...
1
vote
1answer
129 views

Unexpected result from FullSimplify

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

Add rational linear expressions

I want to set work for my 17 year old calculus students and have access to Mathematica 7. I aim to create a worksheet with rational expressions which they will then decompose into partial fractions. ...
0
votes
1answer
416 views

How does Mathematica interpret a expression?

I'm a beginner to Mathematica. I'd read several document. But I still have a problem. For example, every expression in Mathematica are of the form ...
2
votes
2answers
215 views

Choosing a branch of the square root when performing a series expansion

I have the following problem. Consider expression f=Sqrt[(x-2y)^2] There is an obvious ambiguity in the definition of f ...
0
votes
2answers
354 views

Simplifying an expression containing radicals

Now I'm trying to use Mathematica to simplify an expression like this: $P \sqrt{-P + \sqrt{M^2 + P^2}} + \sqrt{(M^2 + P^2) (-P + \sqrt{M^2 + P^2})} - M \sqrt{P + \sqrt{M^2 + P^2}}$ where $P,M&...
0
votes
3answers
472 views

Why is 1. x (Times[1.`, x]) not simplified to x?

This is maybe a silly question, but I could not think of any logical reason why it is not simplified automatically. I was working with a big linear equation system with some constrained inequalities ...
0
votes
1answer
76 views

Inequality test returned unevaluated

I tried, Refine[Sin[k]^2/(k^2 + k + 1) < 1/(k^2), Element[k, Integers]] $\frac{\text{Sin}[k]^2}{1+k+k^2}<\frac{1}{k^2}$ It returns unevaluated. I ...
2
votes
2answers
311 views

Simplify results further

I have an extremely long result in polynomial form following some matrix operations. However, given the symmetry of the problem, I can safely say that the solution will reduce much further than is ...