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

learn more… | top users | synonyms (3)

11
votes
3answers
1k views

Why does Simplify[b-a] give -a+b and not b-a?

Simplify[b - a] results in -a + b. I prefer b - a, which is a bit simpler (3 symbols instead ...
0
votes
1answer
227 views

Simplifying complex expressions

I'm trying to work with complexes and I want Mathematica to know that all variables are real unless I explicitly assigned the variable with an I so I wrote: ...
2
votes
1answer
116 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. ...
1
vote
1answer
108 views

Getting error FullSimplify::infd: … simplified to ComplexInfinity

I tried to run the following code: ...
1
vote
1answer
129 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 ...
2
votes
1answer
144 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
1answer
631 views

Prevent FullSimplify from converting trigonometric expressions to exponential

There's an option for FullSimplify, which is Trig, and with it I could prevent a trigonometric identities from being used. I'm ...
13
votes
2answers
296 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}= x\...
1
vote
1answer
178 views

Behaviour of Simplify when used with ArcTan and ComplexExpand along with assumptions

I am trying to simplify the slope of vectors with symbolic coordinates {x,y} using ArcTan[x,y] I am working with real X and Y I tried the following : ...
3
votes
1answer
319 views

Simplify equations with pattern assumptions

When simplifying an expression using Simplify[expr, assumptions], the assumptions has to be explicit. Is it possible to simplify an expression with pattern ...
4
votes
1answer
211 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 ...
0
votes
0answers
93 views

Preventing numeric constants from being pulled out of square roots

If I input Sqrt[2 g], Mathematica automatically pulls out the 2 and returns Sqrt[2] Sqrt[g]. ...
3
votes
1answer
1k 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 ...
1
vote
1answer
137 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 ...
0
votes
2answers
128 views

Can I tell Simplify to prefer nested polynomials?

I need to export expressions for numerical evaluations in a C codebase. Simplify often does a good job for this, and polynomial factorisation goes a long way. However, occasionally I would come ...
0
votes
0answers
114 views

Recognizing a generalized function as zero

Consider the following expression: HeavisideTheta[x]HeavisideTheta[-x] Mathematica will not simplify it further. But $\Theta(x)\Theta(-x)$ is zero if considered ...
5
votes
1answer
224 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. ...
3
votes
4answers
212 views

How do I prevent exponents from being expanded when displaying text

I have a power of 2 in a list, and I want it to show as $2^{31}$ (2 with exponent 31), not 2147483648. I've tried this: ...
1
vote
1answer
401 views

Latest Mathematica 9.0 can't use Format.m to generate optimized Fortran code [closed]

Before updating to Mathematica 9.0, I have successfully generated beautiful Fortran code using Mark Sofroniou's Format.m package, which is posted on MathSource. ...
5
votes
3answers
459 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
193 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
2answers
176 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: ...
1
vote
1answer
158 views

Binomial sum identities

How do you persuade Mathematica to give simple identities involving binomial sums. For example Sum[Binomial[a,i]*Binomial[b,i],{i,0,n}] where n is bigger than ...
14
votes
2answers
533 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 ...
10
votes
1answer
353 views

Cancellation of common terms

Can someone explain why the term A in case 2 does not get canceled out when case 1 does? I use "9.0 for Microsoft Windows (64-bit) (January 25, 2013)" ...
0
votes
1answer
597 views

Normalization of eigenvectors

I am trying to normalize the following vector in Mathematica with the Normalize command. $$(-1+2\cot[x]\csc[x]+2\csc[x]^2,\;2^\frac{1}{2} (1+\cos[x])\csc[x],\; 1)$$...
0
votes
2answers
140 views

Simplify an expression under certain condition

I have a variable A = g / (1 + g R) Actually, if the quantity (g R) >> 1 it is possible to write A as A ≈ 1/R. How can I do this in Mathematica? I tried with Assumptions, Refine, Simplify, but i can ...
4
votes
4answers
604 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
1answer
377 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 FullSimplify...
2
votes
2answers
146 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 ...
1
vote
1answer
114 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 ...
0
votes
1answer
189 views

Why isn't Simplify completely simplifying my expression when it has all the necessary info?

I have a complex variable, and I'm trying to multiply it by its Conjugate[], which should give me a real number. So, I'm currently doing: ...
0
votes
1answer
236 views

Reduce Cannot Solve Complicated Function

As per the answer to this question: SolveAlways rejects inequality, I tried the following commands: ...
0
votes
1answer
112 views

How to convert the expression '{a->a0, b->b0}' to the expression 'a=a0; b=b0'? [duplicate]

How to convert the expression '{a->a0, b->b0}' to the expression 'a=a0; b=b0'? I think this is a common question and do not know if someone has asked it before. Any help or suggestion will be ...
3
votes
1answer
268 views

Decomposing a complex numbers equation into its real and imaginary part

I have an equation such as: a*z^2 + b*(z - c)^2 == d where z is a complex variable and a,...
10
votes
2answers
622 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 ...
4
votes
2answers
425 views

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

Can you explain me about the result of Integrate. ...
1
vote
0answers
84 views

How to simplify expressions

I read several similar posts but I have not found a solution yet. However, I think that my problem should be quite easy. So here we are. Relations ...
0
votes
0answers
153 views

Gradient from Vectors type

I'm working with Vectors type in Mathematica 9. For this purpose I use the following command: ...
0
votes
0answers
249 views

Alternate method of conjugation using replaceall

Mathematica really struggles to simplify complex conjugates of complicated expressions - even given assumptions for every symbol in the expression being real. Often times I've found that I can ...
3
votes
1answer
349 views

How to simplify to form without imaginary unit

I have an integral that I compute with Mathematica and as a result I get a seemingly complex expression (i.e. the expression contains the imaginary unit, $i$, at some places). However, if I try to ...
15
votes
1answer
2k views

What is the proper way to verify that two expressions are equivalent?

First of all, it appears to me that $$\left|\frac{1}{x} + x^2\right| \Leftrightarrow \frac{|1 + x^3|}{|x|}$$ is true. I don't know why, but my attempt to verify it in Mathematica failed. ...
4
votes
2answers
327 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 ...
11
votes
0answers
303 views

Simplify and Sqrt, inconsistent behavior?

I have encountered some problems when using Simplify with expressions containing a square root and isolated a following test case ...
1
vote
3answers
122 views

Applying Reduce[] to a table [duplicate]

I have a table for example: t = Table[k,{k,5}] which returns {1,2,3,4,5} and for every element in this table I want to check when it is $\leq 1 + a$. I ...
2
votes
2answers
387 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 ...
4
votes
1answer
397 views

Simplify doesn't simplify HypergeometricPFQ with exact arguments

Consider a series: $$\sum_{t=0}^\infty \frac{8^{-11-2t}(22+4t)!}{t!(11+t)!(11+2t)!(32+t)}$$ ...
4
votes
2answers
142 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? ...
6
votes
2answers
189 views

Partial result of aborted evaluation of FullSimplify

When FullSimplify invoked on a large expression, it can run for hours. If I do not have time to wait, and abort the evaluation, I get no result, although, ...
3
votes
1answer
108 views

Check that a relational expression is true for all complex numbers

How can I use Mathematica to check if a statement like $$\left| \frac{\sqrt{1+2z}-2}{2z-3} \right| \le 1$$ is true for all complex numbers $z$? Also, how can I use Mathematica to check such a ...