# Questions tagged [assumptions]

320 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 ...
118 views

### How does TensorReduce use assumptions?

I would like to use TensorReduce by assuming that certain patterns of functions are tensors. From documentation of TensorReduce: ...
30 views

### Simplifying a sum

The expression I'm trying to do something with is Sum[1/(a!(s-a)!)b^(-(2a+1)/2) Sqrt[\[Pi]](2a)!/(4^a (a)!)Pochhammer[-a,k],{a,k,s}] where ...
58 views

### Simplify with my own assumption to a^2+b^2=C^2

I am trying to use an assumption to simplify as a^2+b^2=C: ...
33 views

### FullSimplify does not simplify at all

I have some problems simplifying things with FullSimplify. Suppose a matrix ...
23 views

### Problem with integrating special function under assumption

i found different results when integrating a special function (see below), depending where i place my assumption (x > 0, x0 > 0). The problem is that the two solutions are not compatible. In fact, if ...
25 views

### Minimize not working for general case

I'm trying to perform a minimization for an arbitrary natural number. If I enter a specific number, Mathematica performs the correct minimization. Am I specifying k ...
93 views

### Bug in Integrate with Assumptions?

I encountered behaviour I wasn't expecting with Integrate and thought I'd ask here before reporting a bug in case I'm just missing something obvious. A simple example is the following: Computing <...
41 views

### Not getting a solution to my maximization problem

I want to solve the following problem: For $0.5<q<1$, $q<r<1$, $0\leq n$, $0\leq n_1<=\lfloor{n/2}\rfloor$, and $n_1,n\in\mathbb{N}$ calculate $\arg max_{n_1} S(q,r,n,n_1)$ as a ...
61 views

### I assume that a parameter is real and positive, but Mathematica still assigns a phase to it

If I run this line of code Assuming[{Element[a, Reals], a > 0}, TrigToExp[ComplexExpand[Sqrt[a]]]] I get ...
31 views

50 views

### Using Refine function and take real part of a symbolic expression

I am trying to take the real part of the a complex expression using Refine function. However, the result doesn't come out as expected. The final result still ...