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

learn more… | top users | synonyms (3)

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 ...
3
votes
1answer
207 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 ...
3
votes
2answers
505 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
3answers
519 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 ...
2
votes
1answer
64 views

Arrange equation in normal form

Is there a way, or if not, how could one define a function which takes an equation in any form (for example as given by FullSimplify): $$(A+X_0) x+By=3x$$ and ...
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 ...
1
vote
3answers
195 views

How to manage list of list of rules?

Considering we have a list: str = "{1 -> {a -> aa, b -> bb}, 2 -> {2a -> \"{b -> bb}\"}}" Bringing this to expression gives: ...
1
vote
1answer
268 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
350 views

Simplify vector expression - is there something like “Factor” for vectors, dot products etc.?

I am looking for a way to simplify dot products etc. Here is a minimal example: Lets say I have two vectors a and b: Array[a,2] Array[b,2] Now I evaluate their ...
1
vote
1answer
131 views

Format Preservation of FullSimplify on Indexed System of Autonomous Equations

I currently have a large system autonomous differential equations. I've indexed a more managable dummy system of identical form, using Part to reference each ...
0
votes
2answers
68 views

How can I put the results of TrigFactor function into a more convenient form?

a1 D11 Cos[n x] + a0 a1 D11 Cos[n x] + 1/2 a1 a3 D11 Cos[n x] + 1/2 a2 a4 D11 Cos[n x] I have a large trigonometric expression. Can I factor out different ...
0
votes
3answers
179 views

Why is 1. x (Times[1.`, x]) not simplified to x?

This is maybe a silly question, but I could not think of any logical reason why it is not simplified automatically. I was working with a big linear equation system with some constrained inequalities ...
-1
votes
2answers
559 views

How to simplify expressions containing derivatives

Is there a way to reverse the application of derivative rules in order to simplify expressions including derivatives? e.g. in Mathematica code: Want to go from ...
20
votes
1answer
513 views

Transform Root objects into Trigonometric expressions

Consider the Root objects roots = Table[Root[-1 + 27 #1^2 - 162 #1^4 + 243 #1^6 &, i],{i,1,6}] These can be expressed in terms trigonometric functions as ...
20
votes
1answer
363 views

How can I see which transformations Simplify attempts?

The documentation for Simplify[expr] says that it performs a sequence of algebraic and other transformations on expr, and returns the simplest form it finds. How can I see which transformations it ...
8
votes
1answer
1k views

Assumptions on unknown functions

I'm trying to do analytic calculations in a quantum mechanic harmonic oscillator basis. Specifically I want to be able to evaluate functions of the many particle density. I define the following ...
12
votes
2answers
775 views

Simplify assumes Boolean 1 and 0 in logical expressions

Per this chat discussion and this previous question where I encountered the strange behaviour: ...
9
votes
2answers
558 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 ...
7
votes
4answers
462 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 ...
9
votes
1answer
658 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 ...
7
votes
1answer
419 views

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

Bug introduced in 7.0 or earlier and fixed in 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 time ...
6
votes
2answers
258 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 ...
6
votes
0answers
215 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 ...
3
votes
3answers
876 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
268 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 ...
14
votes
3answers
275 views

Why does Mathematica simplify $x/x\to1$?

If I enter x/x, I get 1. Such behavior leads to this: Simplify[D[Sqrt[x^2], x, x]] 0 ...
12
votes
1answer
193 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
605 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
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 ...
7
votes
1answer
703 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
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 ...
6
votes
3answers
137 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
151 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 ...
4
votes
1answer
175 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
304 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
445 views

Checking if an expression is equal to zero

I have 6 points in $\mathbb R^3$ as follows: ...
3
votes
2answers
91 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
94 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
225 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
652 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
427 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
351 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
1answer
916 views

Simplify an expression containing NonCommutativeMultiply

How does mathematica evaluate the following expression to zero: ...
6
votes
1answer
179 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
201 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
318 views

on simplifying an expression

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

a problem about simplifing conjugate

the situation is as follows ...
5
votes
2answers
527 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
2answers
171 views

Assumptions with patterns

I want that Mathematica assumes every symbol like Subscript[s,i] to be evaluate as a real and positive number. I have tried ...