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

learn more… | top users | synonyms (3)

1
vote
2answers
138 views

How to Simplify exponents?

I need to divide a Gaussian Mixture by it's widest component. When I do this, the exponents of the output end up a mess of terms in need of simplification, but ...
6
votes
2answers
257 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 ...
0
votes
0answers
65 views

How to simplify cases given with Piecewise function?

MMA gives me an answer in the form $$ \begin{cases} f(k_1) & k_1=k\\ 0 & else \end{cases} $$ which is obviously just $f(k)$. Can I make MMA simplify this expression to $f(k)$? The ...
2
votes
3answers
82 views

Drop terms in expression

Suppose I have an expression of the this type: Quantity["Epsilonzero"] a (b + c Sin[ω t])^2 where t is time. I am interested in "extracting" the non ...
2
votes
1answer
79 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 ...
0
votes
0answers
103 views

Simplifying terms in a Sum expression

I have a sum in the form of pure function s = Sum[f[k], {k, 0, # - 1}] & of perhaps complicated terms f[k]. The terms ...
1
vote
1answer
72 views

How can I simplify the result of a differential equation by using my own defined expressions? [duplicate]

I want to solve the following differential equation with mathematica: α β * w''''''[ξ] + ( 1 + α - p ) * w''''[ξ] + p/β * w''[ξ] = 0 The answer seems at ...
0
votes
1answer
56 views

Simplifying an answer returned by DSolveValue

Consider the IVP: $$x'=\frac92-\frac{x}{300+2t},\quad x(0)=0$$ Working the solution by hand, the answer is: $$x(t)=450+3t-\frac{4500\sqrt3}{\sqrt{300+2t}}$$ Entering code and then attempting to ...
0
votes
1answer
62 views

PowerFactorial and Factorial

After some computation, I have obtained a function PowerFactorial[1, n, -1]. Clearly, PowerFactorial[1, n, -1] equals ...
0
votes
1answer
148 views

Simplifying square root expressions

I have read lots of questions on square root simplification on MMA, but I haven't really seen my problem posted (or understood a clear way to deal with this issue). I am simplifying some expressions ...
0
votes
1answer
86 views

Series expand root of quartic polynomial containing many real parameters and FullSimplify return `Indeterminate`

Using Mathematica I can get the Eigenvalues of the following matrix (using Quartics->True): ...
4
votes
1answer
73 views

TensorReduce not simplifying transpose for symmetric matrix?

I know Mathematica is not very good with symbolic manipulation of matrix expressions, but I was surprised to find that it can't reduce the following expression: ...
2
votes
1answer
92 views

Simplifying conditional expressions using assumptions does not work

I have a conditional expression f[x_] := x /; x ∈ Reals This works fine for normal numbers and symbols, e.g. ...
9
votes
1answer
252 views

How to simplify -a*z+a*z to 0 where “a” is an expression

Consider the following: a = 1+(x+y+z+u)^10000 (* Out[57]= 1+(u+x+y+z)^10000 *) e = -a*z+a*z (* Out[59]= z (-1-(u+x+y+z)^10000)+z (1+(u+x+y+z)^10000) *) How can ...
0
votes
3answers
90 views

How can I write a do loop as a table?

I have a do loop that looks like this: Do[a = -1; b = 1; c = n; d = a + b + c; Print[d], {n, 1, 12}] which gives the output: 1 2 3 4 5 ...
4
votes
2answers
398 views

Force a negative square root to be interpreted as an I

I have expressions like $$\sqrt{-\sqrt{1+x^2}} $$ how can I force mathematica to systematically rewrite this as $$i(1+x^2)^{1/4} \quad ? $$
1
vote
2answers
64 views

Simplify power of KroneckerDelta

Why doesn't Mathematica simplify the following expression: FullSimplify[KroneckerDelta[x,y]^3] Since KroneckerDelta only ...
0
votes
0answers
61 views

Computation doesn't Finish

I'm trying to solve some problem by the following code: ...
3
votes
2answers
139 views

Replace expression, but only “outside” of a function [duplicate]

I have a horrid expression, which is basically a sum of exponents with coefficients. Here's a taste: What I want to do is to replace ks with another expression, ...
9
votes
0answers
115 views

Why is this evaluation halved when adding units?

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

Merge Roots of Polynomial

How can I make mathematica "merge" solutions of a polynomial by using $\pm$ instead of listing the two solutions fully with only one sign difference? In particular, I am looking to "compactify" the ...
0
votes
0answers
93 views

Symbolic Tensor Algebra

I need to perform basic tensor algebra in order to double check some very complicated simplification. It's nothing fancy, it just has so many factors by the end that it's hard to tell if an error has ...
2
votes
2answers
102 views

Let mathematica combine integral limits

Is there a way to teach mathematica to combine integral limits according to $\int_a^b f dx+\int_b^c f dx=\int_a^cf dx$ to simplify expressions like $\int_0^1 f[t] dt+\int_1^x (1+f[t]) dt$ to $\int_0^t ...
6
votes
2answers
206 views

How to simplify Boolean expression

I would like to simplify $$((p\oplus q)=True)\wedge(p=True)$$ to $$q=False$$ I was hoping BooleanMinimize[((p ⊻ q) == 1) ∧ (p == True)] would do the trick, but ...
2
votes
0answers
206 views

Extract common factor from vector or matrix

I can't believe this hasn't been asked before but I can't find anything. Is there a way to convince Simplify or FullSimplify to ...
3
votes
0answers
108 views

Why does Mathematica show 4095/4096 terms in TrigExpand?

Clear[x, n]; expr = Cos[x]^(n - 2) (1 - Cos[x]^2 + Sin[x]); r=TrigExpand[expr] Where do those 4095/4096 comes from? It is correct, but it seems very strange ...
0
votes
0answers
74 views

Trying to Simplify an Expression

I'm trying to simplify an expression: ...
3
votes
4answers
174 views

Simplify binary expressions

Is it possible for Mathematica to do simplifications for expressions where the variables are binary, such as: a + b = 1 + 2*c => a + b = 1 Here c must be 0 because if it is 1, the RHS is 3 but ...
8
votes
1answer
193 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 ...
1
vote
1answer
38 views

hold specific pattern in symbolic calculation

I encounter some questions when I try to simplify a symbolic expression using Mathematica. For example, I got an intermediate expression ...
2
votes
1answer
55 views

Prevent Simplify from using cot

I have the following problem. I got a huge equation to simplify and in there are numerous $\cos(x)$ and $\sin(x)$ terms and now it happens that Simplify changes terms like $(...+\cos(x)*a+...)$ to ...
3
votes
1answer
125 views

Write Integer powers as products

I need to wirte all occasions of (a+b)^3,Ftp^2, Sin[th]^2, ...etc as (a+b)*(a+b)*(a+b), Ftp*Ftp, Sin[th]*Sin[th], ...etc ...
0
votes
0answers
67 views

Using assumptions when calling Simplify from Collect

I am quite new to Mathematica, so please be patient ;) I have a very long equation that I have to sort for powers of a variable called e and that I want to ...
6
votes
4answers
164 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 ...
2
votes
1answer
119 views

FullSimplify wont simplify to expression with lower SimplifyCount

I have been trying without success to get FullSimplify to work on some trigonometric expressions. It refuses to convert them to forms that are clearly much ...
3
votes
2answers
285 views

Fullsimplify does not simplify Abs'[1.-a]

I have to simplyfy an expression involving Abs' This works: FullSimplify[Abs'[1 - a], a ∈ Reals] Sign[1 - a] but this ...
4
votes
3answers
388 views

How to transform power of -1 into exponential [duplicate]

After FullSimplify, Mathematica usally gives some coefficients like ((-1)^(1/5)) But I don't want this form, I want ...
1
vote
1answer
54 views

simplification issues

The first are from an old paper, dealing with the evaluation of elastic Green function in a transversely isotropic medium (Hill 1964). ...
2
votes
0answers
127 views

Apart for complex roots?

Let p[x] be a polynomial in x and consider the partial fraction decomposition of 1/p[x]. ...
6
votes
2answers
266 views

A short notation to fix the assumption that all involved parameters are, say, positive

Often I make simplifications or other operations with assumptions. Sometimes the assumptions simply state that all parameters involved are positive. I wonder, if there is a short notation for such a ...
1
vote
0answers
50 views

Building a ComplexityFunction based on the size of the expression output

I am experimenting with the ComplexityFunction of Simplify and came up with this one: ComplexityFunction->Function[e,Rasterize[HoldForm[e],"BoundingBox"][[1]]] ...
2
votes
2answers
199 views

A simple expression that Mathematica can't simplify

I'm using Mathematica 9. I encountered an expression that Mathematica couldn't simplify to a simpler form: ...
1
vote
2answers
65 views

Simplifying an exponential expression [duplicate]

I have an expression: (1/a^13)^(1/13) I want Mathematica to simplify it to '1/a'. How do I do it? 'Simplify' and 'FullSimplify' don't work.
12
votes
0answers
136 views

Why does this happen with FullSimplify? [duplicate]

It is stated at the Wolfram Documentation Center (FullSimplify/Possible Issues) that: Why and when this could happen? How to avoid it? Any patterns? Edit: As pointed out in the comments, this ...
3
votes
1answer
203 views

How to enforce mathematica to analytically evaluate roots?

I am interested in simplifying expressions involving HeavisideTheta. A simple example could be: HeavisideTheta[1 + x - x^2 + x^3] The best I can achieve is with ...
0
votes
1answer
187 views

Simplifying symbolic expressions involving dot products

I have a function that outputs a large expression containing dot products of vectors. None of the vector components are known, so all dot products are symbolic. For instance, part of the output may ...
2
votes
1answer
75 views

How to show that an expression is 0 if FullSimplify never finishes

I have a huge expression. And I have "checked" numerically that it is 0 for real value variables. However, due to the size and structure of the expression FullSimplify seems to be having a hard time. ...
0
votes
1answer
47 views

Taking function output as shown, and processing it regardless of its history

I am making some symbolical calculations for my quantum chemistry class. I am supposed to build a wave function composed of multiple other functions, each of which is also composite of some lower ...