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

learn more… | top users | synonyms (3)

9
votes
2answers
536 views

Memory leak issues

I am working with noncommuting objects and basically I am using Mathematica to sort large expressions by normal ordering and simplifying them. To this end, I first create an object called ...
8
votes
1answer
577 views

how to simplify large expression with lots of special functions in it (BesselY, Hypergeometric, MeijerG etc…)

I saw this DE in Maple forum. When solving it using Mathematica 9.01, even though the result was correct (both solutions gave the same numerical answer for some random values), Mathematica's answer ...
8
votes
1answer
638 views

Why doesn't FullSimplify get rid of the common factor in this expression?

FullSimplify does not get rid of the z factor in the following expression: ...
7
votes
1answer
348 views

Why does Simplify with TimeConstraint return Removed[$$Failure]?

Bug existed in version 7 and is fixed in version 10.0.0 I have a rather ugly Mathematica expression (edit: shown below) that I would like to simplify with a time constraint; simplifying without a ...
7
votes
2answers
596 views

Simplifying the derivative of $|x|$

Context In[855]:= D[Abs[x], x] /. x -> 1 Out[855]= Derivative[1][Abs][1] In[856]:= D[x, x] /. x -> 1 Out[856]= 1 Question Why is ...
6
votes
0answers
194 views

Using FunctionExpand to evaluate symbolic derivatives

Some symbolic derivatives of certain special function are not expanded automatically, but FunctionExpand often helps to get a derivative-free closed form ...
6
votes
4answers
416 views

Attaching persistent assumptions to symbol definition

Is it possible to attach assumptions to a symbol? This relates to this question. Most of my work involves physical equations, i.e. there are basic assumptions on variables that will always hold true ...
5
votes
2answers
234 views

Evaluating complicated trig without resorting to numerical methods

I have an angle theta given by Kx = (2/Sqrt[3]) ArcSin[Sqrt[3/10]]; Ky = (2/3) (ArcCos[(1/5) Sqrt[7/10]] - Pi); theta = Cos[ArcTan[Kx, Ky]]; This evaluates, by ...
3
votes
3answers
795 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 ...
2
votes
1answer
247 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 ...
12
votes
1answer
184 views

Unable to evaluate reasonable max expression

Consider the following statement: Max[0, Sqrt[1 - Cos[4 \[Theta]]]] You'll find that Mathematica won't evaluate this, because it doesn't know the range of ...
10
votes
2answers
569 views

Shaping/simplifying equations in a certain way

A problem I am occasionally facing is to simplify an equation not to it's shortest form but to a form that is simple by other means. Often, this is grouping the term according to certain functions, ...
7
votes
2answers
224 views

Behavior of Reduce with variables as domain

When using Reduce, I accidentally put a set of variables as the domain. To my surprise, it not only seems that Reduce expects ...
6
votes
4answers
142 views

Minimizing a function with a constant $l > 0$

I'm VERY new to Mathematica and would like some help with minimizing a function. $$f(x) = \frac{1}{2} \sqrt{\frac{\left(l^4+x^4\right)^2}{l^4 x^2}}$$ I want to find which $x-value$ (probably ...
6
votes
3answers
135 views

How to simplify my expression to the style of “a+b*I”?

How to simplify my expression to the style of "a+b*I"? Expand[(E^(I θ) (-1 + E^(I n θ)))/(-1 + E^(I θ))] ...
5
votes
2answers
138 views

FullSimplify inconsistent

I'm having problems using FullSimplify to simplify a differential equation. The expression is simplifying just as I would like when I express a variable ...
5
votes
3answers
557 views

Removing Abs from Abs[a + Exp[I*c]b]^2

Title says it all. Mathematica produces sometimes expressions of the form Abs[a + Exp[I*c]b]^2 where all three quantities a, b and c are positive real numbers. ...
4
votes
1answer
159 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
1answer
409 views

Checking if an expression is equal to zero

I have 6 points in $\mathbb R^3$ as follows: ...
3
votes
2answers
87 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 ...
2
votes
1answer
83 views

simplifying integrals for multiple exponentials

This is somewhat related to this question, but applied to products of Exp[]. For example, I have a symbolic expression containing terms like $Exp[\int_0^1 ...
2
votes
2answers
195 views

Transform Piecewise[] into sum of indicators

I'm interested in transforming a piecewise defined function into a sum of indicator functions, ultimately with the aim to be better able to integrate them. As an example I would like to transform the ...
2
votes
2answers
600 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 ...
0
votes
1answer
354 views

Avoid trigonometric simplifications?

When evaluating the expression Sinh[x]^2 + Cosh[x]^2 // FullSimplify I get Cosh[2 x] That is indeed a simplification, but ...
8
votes
4answers
336 views

How to make Mathematica simplify $\cos[(i + j + k)\pi]$ to $(-1)^{i+j+k}$?

We know that: $$ \cos\left[(i+j+k)\pi\right] = (-1)^{i+j+k} $$ for $i, j, k$ being positive integers. In Mathematica I've tried: ...
7
votes
2answers
156 views

How do I invoke the default complexity function?

Documentation on ComplexityFunction says: With the default setting ComplexityFunction->Automatic, forms are ranked ...
7
votes
1answer
837 views

Simplify an expression containing NonCommutativeMultiply

How does mathematica evaluate the following expression to zero: ...
6
votes
1answer
141 views

How to prevent simplification?

I have a question about the concept of simplification. I want to explain it with an example. When I write $4/8$ in mathematica, output is 1/2. How can i return ...
6
votes
1answer
1k views

Properly Force Mathematica to Simplify Log Expressions/Rules

I want to be able to expand $\log(x^n e^x) = n \log(x) +x$: FullSimplify[Log[x^n Exp[x]], x > 0 && Element[n, Integers] && n > 1] yields ...
6
votes
1answer
656 views

How to Simplify equations over a Ring with Mathematica?

For example, when we work over a ring, the equation x^3=0 does not imply x^2=0 or x=0, but ...
6
votes
1answer
172 views

How to reduce expressions with complex coefficients in the form of a+0.*I

I'm trying to get an eigenvalue equation in Mathematica, and the result is an expression with coefficients of the form a + 0. I. For example, Is there any clever ...
5
votes
1answer
198 views

Simplification of integrals depending on a parameter [duplicate]

Assuming[Element[n, Integers], Integrate[Sin[x]*Sin[n*x],{x,0,Pi}]] returns 0, which is obviously wrong for n=1. ...
5
votes
2answers
315 views

on simplifying an expression

After some integration process, I ended up with the following expression: ...
5
votes
2answers
495 views

Replacements/Substitutions in Mathematica

I am a new user of Mathematica and have some questions about the simplifications of calculated expressions. I am unable to attach an image of the session, but my Mathematica commands are: ...
4
votes
1answer
62 views

Problem with Simplify, Sqrt, and Set: What's going on?

I am having some trouble getting Mathematica to simplify an expression of the form Sqrt[x]*Sqrt[1/x], where x>0. The problem is that x is assigned to some complicated form by the time Mathematica ...
4
votes
1answer
211 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 ...
3
votes
1answer
191 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
2answers
469 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
473 views

a problem about simplifing conjugate

the situation is as follows ...
3
votes
1answer
643 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
2answers
279 views
2
votes
1answer
73 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
116 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 ...
2
votes
1answer
205 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 ...
1
vote
1answer
209 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
105 views

Simplifying using assumptions

Is there a way to simplify the following equation (-p(a-x)((a-b)P(b-x)+Q(b+x)(a-b+2x))+q(a+x)(-(a-b)Q(b+x)+P(b-x)(-a +b+2x)))/((b-x)(-a + x)(a+x)(b+x)) assuming ...
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
2answers
198 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 ...
0
votes
2answers
145 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 ...