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

learn more… | top users | synonyms (3)

5
votes
0answers
91 views

Moles/Liters doesn't get simplified to Molar even though Molar*Liters gets simplified to Moles

Why can't Mathematica 9 simplify mol/L to M, when it can simplify M*L to mol? ...
5
votes
0answers
83 views

Faster way to perform SameQ[Reduce[…], Reduce[…]]

I'm have some expressions that I need to confirm the equality of. SameQ[Reduce[...], Reduce[...]] works like a charm for the more simple expressions, however when ...
4
votes
4answers
630 views

Simplifying a trigonometric expression

I'm sure this has been addressed before, but I can't find it! I want Mathematica to simplify Sqrt[1 - Sin[π/6 - θ]^2] to ...
4
votes
3answers
174 views

Output to preserve dot product

I am fairly new to Mathematica and I am faced with a problem. I tried to search for the solution but it seems that I don't know how to formulate the short search request. I need to perform a matrix ...
4
votes
4answers
326 views

Simplifying just parts of an expression

I'm having trouble with the simplifications of certain expressions. A typical example of this is the following (all my variables are positive real numbers): ...
4
votes
2answers
135 views

Simplifying If statements

How can I get Mathematica to simplify the true and false clauses for If[] statements? For example: bar[a_] := a FullSimplify[If[a > b, bar[a], bar[b]]] ...
4
votes
2answers
149 views

HornerForm of polynomials in terms of E^(i x)

I want to know how to get the HornerForm of the following expression in terms of E^(I x): ...
4
votes
2answers
248 views

Simplifying the trace of a matrix expression

I have a long expression involving matrices that I derived using the NCAlgebra package. Can I simplify the trace of the expression? For example, say b is a scalar ...
4
votes
1answer
627 views

Reduce an equation by putting a new variable

I have the following equation given: $$ (26-x)\cdot\sqrt{5x-1} -(13x+14)\cdot\sqrt{5-2x} + 12\sqrt{(5x-1)\cdot(5-2x) }= 18x+32. $$ In order to solve it, I want to substitute $t = \sqrt{5x - ...
4
votes
2answers
202 views

How to expand all portions of an expression?

Consider a toy expression: expr = Sin[x (a + b)]/(y (z + c)) I would like to expand all parentheses to get something like: ...
4
votes
1answer
523 views

Does the Im function work with symbolic arguments?

Does the Im function work with symbolic arguments? ...
4
votes
3answers
237 views

Problems using hand-made transformation functions

I experience difficulties when using custom transformation rules. Below I give two concrete problems. I am interested in fixing each of them and in understanding what is wrong with my attitude to the ...
4
votes
2answers
131 views

Why Refine does not simplify Cos[2*Pi*FractionalPart[1/2*(i + j + k)]] to $(-1)^{i+j+k}$?

I am obtaining in Mathematica: Cos[2*Pi*FractionalPart[1/2*(i + j + k)]] We know that for $i, j, k$ being positive integers this expression after simplification ...
4
votes
1answer
171 views

Can't simplify Abs[a*Cos[x]]^2

Why doesn't FullSimplify[ Abs[a*Cos[x]]^2, Assumptions -> {{a, x} ∈ Reals}] simplify to (a*Cos[x])^2 but this query ...
4
votes
1answer
88 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]]]]] ...
4
votes
1answer
283 views

How to express an expression with only ArcTan and ArcTanh?

I have an expression which is simply (j/k) x^(j/k) LerchPhi[x,1,j/k)] where 0 < j < k. Manually I have been able ...
4
votes
1answer
343 views

Checking if an expression is equal to zero

I have 6 points in $\mathbb R^3$ as follows: ...
4
votes
3answers
225 views

Running out of variables

I am running symbolic calculations with Mathematica. Simplification of algebraic expressions is an important part of them as very often final results can be simplified considerably. Typically my ...
4
votes
2answers
137 views

How to use SuperLog by loading SMLE.m

I am researching a software reliability model that has many parameters that need to be estimated. I want to use a maximum likelihood estimator (MLE) to estimate those parameters. After I searched ...
4
votes
1answer
139 views

Why are some equal expressions more equal than others?

n1 = 1/3 (2 + (-Sqrt[3] + 2 Sin[(2 π)/9])/(Sqrt[3] Cos[π/9] - Sin[π/9])); n2 = 1/2 + Sin[π/18]/(3 Cos[(2 π)/9] + Sqrt[3] Sin[(2 π)/9]); n3 = 2/3 (1 - Cos[4 π/9]); ...
4
votes
1answer
259 views

Checking if an Expression Falls within a Range

Is there a simple way in Mathematica to check under what conditions an expression (involving multiple variables) falls within a given range? For example, say I had a real-valued function f(x,y,z), ...
4
votes
1answer
205 views

Simplifying numerical expressions involving special functions

I've encountered the following problem. There is the identity that the special functions EllipticK[x] and EllipticE[x] satisfy: ...
4
votes
1answer
145 views

Simplifying expressions using rules that span nonconsecutive terms

Suppose there is some function with the property f[x,y] f[y,x^2] / f[x^3,y] == f[2x,y] How can I simplify an arbitrary expression that contains the lhs of the ...
4
votes
1answer
160 views

How to find the most compact form of an equation

I would like to know whether there is any general approach to obtain the most compact form of an equation with Mathematica. I used to believe that the ...
4
votes
1answer
124 views

Mathematica rule to express exponentials as multiplication

I'm sorry if this has been asked before, but it is a very simple question and I would imagine it shouldn't be terribly hard for someone that knows to answer. I'm essentially trying to tell ...
4
votes
2answers
126 views

Can one use Map during Expand?

Can one Map a simplifying function to the summands of an Expand before fully expanding the expression in question first? ...
4
votes
1answer
129 views

How can I prevent a polynomial from being simplified?

I'm having a problem with polynomials. Let's say I have a polynomial "2x^2 - 5x + 6 - 3x^2" .. How can I check that this expression is not simplified ? Additionally, I would like to locate the ...
4
votes
0answers
70 views

Transform an expression to remove the singularity

I have the expression Sin[c x]/c. Clearly it is undefined at $c=0$, but that is merely a removable singularity, since $$\frac{\sin(cx)}c=x\frac{\sin(cx)}{cx}= ...
4
votes
0answers
82 views

Simplifying expressions involving Divisible

FullSimplify[ Divisible[p^2 - 1, 24] , Element[p, Primes] && p > 3] Should evaluate to True, but I get ...
3
votes
3answers
405 views

How to simplify the following trigonometry expression such that the number of used characters is minimal?

How to simplify the following trigonometry expression such that the number of used characters is minimal? (13*Cos[t] - 5*Cos[2*t] - 2*Cos[3*t] - Cos[4*t])/4 The ...
3
votes
2answers
288 views

How can I simplify $\log(512)$ to $9\log(2)$?

Can you explain me about the result of Integrate. ...
3
votes
2answers
240 views

Mathematica does not understand (R^3)^(1/3) is the same as R [closed]

In the output from a calculation in mathematica stands a/((R^3*c)^(1/3)), with c and a ...
3
votes
2answers
589 views

Eliminate doesn't work in Mathematica

Hello Mathematica users, I have problems trying to eliminate variable $Q(x,y)$ froma PDE, but Mathematica output is just True. The problem is that I already found ...
3
votes
1answer
185 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 ...
3
votes
1answer
482 views

Don't simplify an expression

I have an expression that I want Mathematica to fully expand without any simplification afterwards. I want the output to look like the following example. ...
3
votes
1answer
151 views

FullSimplify yielding different results in mathematica 8 and 9

I have been experiencing some problems running a certain mathematica file in version 9. I've tracked the problem to a particular sum that I perform. Running the same code in version 8 and 9 I get two ...
3
votes
2answers
364 views

Combining and separating sums

How can I combine or separate sums in Mathematica in the way that Together or Expand work for rational expressions? For ...
3
votes
2answers
507 views

Mathematica won't simplify the expression with obvious common factor of a fraction

I have an expression obtain from an integral, which is: Integrate[ϵ^2/Sqrt[(ϵ - u)^2 + Δ^2], ϵ] // FullSimplify The denominator and numerator of the result have ...
3
votes
2answers
101 views

Assumptions within Simplify

I am using the ratio between two error probabilities in various functions. I want Mathematica to display this ratio in the most simple manner. How do I let Mathematica know that, in this case, the ...
3
votes
2answers
136 views

Exploiting a relation among constants

Say I have two arbitrary real constants $p,q$ that satisfy $p^2+q^2=1$. Is there any way to easily declare this relation in Mathematica? Edit More specifically I have this (among others) expression: ...
3
votes
2answers
234 views

Simplifying expressions involving Sum

I am trying to use Mathematica to simplify a symbolic expression involving Sum. Particularly, I define a sum via ...
3
votes
2answers
75 views

Detecting operator Set in Assumptions

Here is a typical issue: Simplify[x + y, x = y] produces 2 True. Is there a way to detect operator ...
3
votes
2answers
267 views

integral, explicit form

I want to estimate the ratio of integrals: $$ \frac{\int \frac{4 a T^3}{\frac{4 a T^4}{3}+\Lambda_1 \left(\frac{4}{T^3}+1\right)}}{\int \frac{4 a T^3}{\frac{4 a T^4}{3}+\Lambda_0 ...
3
votes
2answers
324 views

a problem about simplifing conjugate

the situation is as follows ...
3
votes
1answer
170 views

Strange behavior of Reduce with a cubic equation

This equation: $(\frac{-a}{x})^2=\sqrt{\frac{1}{x}}$ at $a > 0$ and $x > 0$ has a clear solution $x=a^{4/3}$, doesn't it? However, ...
3
votes
1answer
237 views

How to get rid of all complex numbers and functions?

For almost esthetical reasons, I always have been fascinated by infinite sums of series and I always wonder if theyhave a closed form. A couple of days ago, I found on MSE a question related to the ...
3
votes
3answers
584 views

Non Commutative sorting in Mathematica

I have been trying to do some oscillator algebra in Mathematica and having troubles with sorting and simplifying expressions. I am using the NCAlgebra package which helps to improve the properties of ...
3
votes
1answer
330 views

How to implement Condition programmatically?

I am writing my own symbolic functions with custom symbolic properties. So often I wish to introduce some automatic simplifications or evaluations, which return the same head as it's argument. This ...
3
votes
1answer
277 views

What's the correct method to simplify exponentials?

I have a sum of exponentials that I'd like to simplify. The issue is when I use Simplify, Mathematica loves to factor out one exponential factor. See below: $$e^{-i ...