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

learn more… | top users | synonyms (3)

2
votes
0answers
51 views

Simplifying symbolic expressions using TensorExpand

Following my previous question I have this issue using TensorExpand: KroneckerProduct[x, y].(KroneckerProduct[2 z, w]) // TensorExpand results in ...
3
votes
0answers
91 views

Is it possible to simplify an expression in vector form, which involves crossproduct and dot product?

I often need to simplify expressions involving cross product and dot product, for example: f = Dot[Cross[Cross[p1 - p, e1], Cross[p2 - p, e2]], Cross[p3 - p, e3]] ...
3
votes
2answers
113 views

Simplification of products of KroneckerDelta[]

What is the reason why the following expression does not simplify to True? ...
3
votes
1answer
62 views

Simplifying an expression with complex variables

The other day I was trying to simplify the following expression of $w \in \mathbb{C}$ and $|w| < 1$: $$f(w) = \left|\frac{2}{(\frac{w+1}{1-w}+1)^2}\right|^{-\Delta} \cdot \frac{1}{\left|{\rm ...
4
votes
1answer
70 views

FullSimplify on complex numbers seems inconsistent

FullSimplify[c Conjugate[c]] returns Abs[c]^2 while FullSimplify[2 c Conjugate[c]] ...
5
votes
1answer
71 views

Simplify with a condition

I have an expression, $-a (u + a v)$, and I would like to simplify it using the fact that $a^2 = 1$. I have tried Simplify[Expand[-a (u + a v)], a^2 == 1] but ...
8
votes
1answer
81 views

evaluation of the sum of KroneckerDelta

I need help. I need to know why the next code doesn't simplify in Mathematica 10 but it does in Mathematica 8. I need some similar in version 10. What can I do? ...
1
vote
2answers
189 views

Force Mathematica to simplify an ArcTan[]?

I understand that there are many solutions that will produce the same arctangent, nevertheless I really need a simplification: ...
2
votes
1answer
66 views

FullSimplify gives wrong answer when operating on HypergeometricPFQ

When I try to simplify this hypergeometric function FullSimplify[HypergeometricPFQ[{1/2 - n/2}, {-(1/2) - n/2}, -a^2]] Mathematica 10.0.1.0 returns ...
1
vote
1answer
39 views

Why doesn't Simplify use my own TransformationFunction?

I define a simple TransformationFunctions via: tfTest[e_] := e /. {x^2 -> Hold[x*x]} and try to use it with ...
5
votes
0answers
50 views

External and internal Assumptions on `PiecewiseExpand` and `Mod`

After this question I'm intrigued about the different behaviors depending where and how the assumptions are given. ...
1
vote
1answer
38 views

Simplify Mod to subtraction when possible

FullSimplify[Mod[t,10], t>101 && t<109] It's a long shot, but can I get Mathematica to return t-100 or something ...
3
votes
2answers
53 views

To simplify an expression further

I have solved the following Eq to get hz: ...
1
vote
0answers
73 views

General suggestions to accelerate Simplify and FullSimplify

To my understanding, the function Simplify[] and FullSimplify[] work by applying a series of built-in transformation rules to ...
0
votes
0answers
28 views

Solve for parameters to minimize expression complexity?

I have a set of complicated expressions cf[i] with i=1,...,35 that apart from constants depend on parameters ...
4
votes
0answers
90 views

Simple arithmetic with Irrationals fails [closed]

While solving a simple puzzle that asked for a few calculations in plane geometry, I ended up with this expression: $-\frac{55}{2}+\frac{\sqrt{27233}}{2}+\frac{1}{2}(55-\sqrt{27233})$ Or, in ...
0
votes
2answers
65 views

Simplify square root term by taking variable inside root

I want to simplify expression $\frac{\sqrt{1+b+b^2}}{b}$ to$\sqrt{1+\frac{1}{b^2}+\frac{1}{b}}$. How to achieve this?
0
votes
0answers
43 views

Solve Always with Assumptions

How can I use the Solve Always function imposing some assumption on the parameter space of the symbolic variables? Thanks!
0
votes
1answer
38 views

Get dominant terms in asymptotic expansion

I'd like to find the dominant terms of an expression given the conditions $x,y >> 1$: $c_0 y+\frac{y^2 \left(4 c_0^2 y - 12 c_1 c_2^2+y^2\right)}{24 x^2 \left(\text{c1}^2+\text{c2}^2+y\right)}$ ...
1
vote
0answers
63 views

“Reduce” works fine for a non-linear system with 9 equations, but cannot solve it if 10 equations. Any ways to improve the code?

I am trying to solve a class of problems, which are basically about a solution to a system of non-linear equations subject to the constraint that some subset of solutions must be non-decreasing. I ...
2
votes
2answers
139 views

Why doesn't Mathematica pull out common factor when simplifing sums of square roots?

Why can't Mathematica pull out the common factor in the following expression when FullSimplifying, to see that it is zero? ...
3
votes
0answers
32 views

commutative matching

I've been doing some work that results in the creation of hundreds or thousands of equations with the same answer. To prevent them from collapsing to their simple answers, each has been passed through ...
8
votes
4answers
544 views

Counting multiplications (complexity function)

I'm trying to count the number of times multiplication appears in an expression (for the purpose of constructing a ComplexityFunction that would help me simplify a terrible algebraic expression for ...
3
votes
1answer
41 views

Simplifying nested KroneckerProducts

Any suggestion how to bring a nested KroneckerProduct form into just one? I mean some how converting ...
6
votes
0answers
44 views

Unexpected behaviour of Simplify

I'm evaluating an expression and to me the result should be True but Mathematica is giving me a different result. ...
3
votes
1answer
48 views

How to get Mathematica to make further simplifications to conditional expressions than it has already made?

I have the following Mathematica result under the assumption that {ax, bx, px, ay, by, py} \[Element] Reals, and after refinement by ...
11
votes
1answer
176 views

Why is this evaluation halved when adding units?

Why does this strange behavior occur when dealing with units and quantities? ...
0
votes
1answer
101 views

Why doesn't mathematica replace $\frac{I_0(\kappa)}{I_0(\kappa)}$ by 1 [closed]

I have a matrix of the form: $$\left( \begin{array}{ccc} 1 & \frac{\delta I_1(\kappa )}{I_0(\kappa )} & 0 \\ \frac{I_1(\kappa ) \delta ^*}{I_0(\kappa )} & \frac{\delta (I_1(\kappa ...
0
votes
2answers
107 views

Simplifying complex fractions

How can I simplify a complex fraction in order to get something of the shape (a + I b)/(c + I d)? Note that I would not like Mathematica to further simplify it ...
0
votes
1answer
79 views

How to simplify an expression with assumptions

I have a matrix of the form: Tvol // TraditionalForm $$\left( \begin{array}{ccc} 1 & \frac{\delta I_1(\kappa )}{I_0(\kappa )} & 0 \\ ...
2
votes
2answers
108 views

How does Simplify give two answers when they are the same?

I am trying to get the CDF of a random variable using TransformedDistribution. ...
1
vote
2answers
514 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 ...
3
votes
3answers
146 views

How to evaluate $-i e^{\frac{i k}{2}} \sqrt{-e^{-i k}} = 1$?

In my calculation, there exist some expressions like $-i e^{\frac{i k}{2}} \sqrt{-e^{-i k}}$, which are not simplified to be $1$, and makes further calculations rather complicated. I tried to ...
4
votes
1answer
164 views

How to make Mathematica express an equation in terms of previously defined functions

I was given a problem for my physics class, and perhaps I have taken it too far, but I wish to finish what I started. I have a function (i warn you that this does not look pretty) ...
0
votes
2answers
68 views

How to simplify noncommuting multiplication of KroneckerProducts

I'm using NCALgebra. I was wondering if there is a way to simplify KroneckerProduct[a, b]**KroneckerProduct[c, d] to become: ...
0
votes
0answers
108 views

More simplification tricks in Mathematica? [duplicate]

I need to simplify the following expression in order to operate on it using InverseLaplaceTransform. This result will be used in further work, so ideally I would ...
1
vote
0answers
93 views

what is the means of (0 -> 1) of series expansion [closed]

I use mathematica 8 to take a taylor expansion.In the Output, the expression (0->1) appears in the second term and all higher order term, and this expression is multiplied with other coefficient and ...
56
votes
5answers
2k views

Advice for Mathematica as Mathematician's Aid

I use Mathematica mainly as an aid in symbolic attacks on problems, usually intermediate or harder and often number theoretic. While Reduce, ...
0
votes
1answer
85 views

Special fractions generator

Note that 13/33, 1313 / 3333 , 131313 / 333333, ... They are always equivalent fractions Fraciones generate desire to have this property based arbitrary ...
4
votes
0answers
118 views
2
votes
1answer
84 views

Simplifying the result of DSolve

I have a system of differential equations that can be solved with DSolve. However, the coefficients are very long there are like terms which can be combined. I used //FullSimplify in my code but the ...
1
vote
2answers
85 views

Convert imaginary exponentials to goniometric expressions?

Can I force Mathematica to re-express something like $$\left\{\frac{1}{2}i\left(\frac{1}{16} e^{-2 i (\alpha (1)+4 \alpha (2))} \left(-1+e^{8 i \alpha (2)}\right) \text{d$\alpha $}(1) \left(2 \left(2 ...
4
votes
0answers
101 views

Simplest identity that cannot be proved by FullSimplify [closed]

Apparently, FullSimplify is not able to prove all true identities, but usually it does pretty well when it comes to elementary functions. I'd like to know what are ...