Questions tagged [assumptions]

Questions about the function Assuming[], the $Assumptions system variable, and the Assumptions option of functions such as Simplify[] and Integrate[].

Filter by
Sorted by
Tagged with
2
votes
1answer
71 views

Why does this boolean computation get stuck?

I want to build a boolean function which takes three one-parametric functions. I really don't know how to write a function for this, but this seems to be working for me as long as the parameter is <...
2
votes
0answers
83 views

Does Assumptions not work on Root objects?

Typically, one can restrict symbolic quantities using Assumptions. Suppose, for instance, that I want to solve $a=x^2$ for $x$, with $a>0$, restricting my answer to the positive root. ...
1
vote
1answer
39 views

I need to create abstract vectors

$Assumptions = {q \[Element] Vectors[{15}, Reals]}; $Assumptions = {p1[q] \[Element] Vectors[{3}, Reals]}; So I have been using this code in order to define an ...
0
votes
0answers
44 views

How do I apply assumptions to a table of functions

I have a table, really its a tensor but anyways I would like to apply an assumption to it, i.e. 1 - 2 phi[t,x,y,z] == 1 and have it print the tensor after it has ...
3
votes
3answers
122 views

Simplifying square roots of squared reals

I am using Mathematica to check some long, tedious calculations and I am stumped by some mysterious behavior. If I simplify a long expression that clearly has square real factors under a radical, for ...
5
votes
1answer
39 views

Is it better to use a single binary operator in each Assumption entry?

I am trying to understand why FullSimplify[x^a < 1, {0 < x^a < 1}] does not simplify but ...
3
votes
1answer
89 views

Display returned integral containing assumptions with integral sign

From solving the PDE example of the general 1 dim heat equation in Nasser Abbasi's site https://www.12000.org/my_notes/pde_in_CAS/maple_2019_and_mma_12/insu157.htm#x182-1810003.1.1 (his problem No 151)...
1
vote
1answer
113 views

Is it possible to use an assumption that a parameter is an odd or even number?

I am trying to integrate: Integrate[(Exp[x]*(x^m)/((Exp[x] + 1)^2)), {x, -Infinity, Infinity}] I know that for odd m the result is zero. How can I tell ...
5
votes
1answer
99 views

How to apply assumptions to pattern matching?

I'm trying to remove terms whose exponents are positive in a polynomial. I tried this one; Assuming[t > 0, x^t /. {x^a_ /; Positive@a -> 0}] but the result ...
3
votes
1answer
46 views

Assuming a variable is imaginary

I am confused how to assume a variable is pure imaginary. As a test example, I used the code Assuming[{ x \[Element] I Reals}, Simplify[x + Conjugate[x]]] In ...
1
vote
1answer
45 views

Using assumptions, weird output [closed]

I have a Piecewise function, of the type: $Assumptions = b > a > 0 fun[k_] := Piecewise[{{3k, 0<=k<a}, {k^2, a<=k<=b}}] fun[a] When evaluating ...
3
votes
1answer
52 views

Is there a global parameter that limits the number of variables handled by Simplify?

It seems that Simplify is unable to handle (at least some) expressions involving 22 or more variables. Consider the code snippet below: ...
5
votes
1answer
135 views

Simplify is not simplifying a compound inequality as expected

The Simplify command is having trouble verifying a compound inequality, even while it correctly handles the two corresponding single inequalities. I'm starting ...
1
vote
2answers
57 views

how to get rid of the denominator in the squareroot, that appears in the denominator?

Here is an example: $\frac{\nu y_0}{\left(x_0+\frac{1}{2}\right) \sqrt{\nu ^2+\frac{\left(4 x_0^2+4 y_0^2-1\right){}^2}{16 y_0^2}}}$ ...
0
votes
1answer
44 views

Exits and beeps on Integration

Evaluating ...
1
vote
0answers
41 views

Why does Mathematica miss some solutions for my integral?

When computing the integral of two orthogonal sine functions $\qquad \sin(n\,\pi\,x)\,\sin(m\,\pi\,x)$, where $n,\,m$ are integers > 0 Mathematica seems to miss the solution where $n=m$. I don't ...
0
votes
0answers
28 views

Using assumptions in DSolve

I want to solve the following differential equation DSolve[u'[\[Xi]] == a u[\[Xi]]^(2 - m) + b u[\[Xi]] + c u[\[Xi]]^m, u[\[Xi]], \[Xi]] with the assumpetion ...
8
votes
4answers
316 views

Simplify makes Mathematica forget that a matrix is Hermitian

Using Simplify with certain trivial assumptions makes Mathematica forget that a given matrix is Hermitian. See the minimal example below: ...
0
votes
0answers
53 views

Dealing with positive power variables in Taylor expansion and assumptions

I would like to compute the Taylor expansion of monomials whose powers are nonnegative rational variables. First, here is a function which encodes the multivariate Taylor expansion at the points <...
0
votes
1answer
52 views

Using Assumptions [closed]

I’m trying to use Assumptions for the set of variables in a form: $Assumptions = {(k, z) ∈ Reals, (k, z) > 0}; But as a result a receive an errors. What is ...
2
votes
2answers
82 views

Definite Integration with Exponental Heaviside Step Funtions

As part of an equation of state calculator that I am working on, I have to handle a virial expansion for the equation of state. As such I have to solve for the virial coefficent, $B(T)$, which is ...
0
votes
1answer
45 views

How to use assumptions without Simplify[]?

According to this simple example program, the assumptions evaluated only with the Simplify[] function call. However, I wouldn't like to use Simplify[] because it can be very slow with longer ...
0
votes
0answers
36 views

Solving an integral using assumptions

I am trying to solve the integral Integrate[(Sin(theta))/sqrt((r^2) + (s^2) - 2 rs(cos(theta))), {theta, 0, pi}] with assumptions that ...
0
votes
1answer
73 views

Domain specifications for InverseFunction

I have difficulty implementing on how to specify the domain that I want for ry which is the inverse function of rho. The necessary condition is that, $\textbf{ry}$ must remain $\textbf{positive}$ for ...
0
votes
0answers
30 views

Vanishing with the derivative terms in perturbation theory

Following the question in here, now I would like to make the terms with derivatives to vanish. To shortly explain, given a variable decomposed as follows: $a(t,r) = a(r) + \delta a(t,r)$ in my long ...
1
vote
1answer
95 views

Assuming that only the 2nd order terms are zero

I am dealing with first-order perturbative theory, that is, any variable may be decomposed as $a = a + \delta a$ and the same would occur with several different variables, let's say, $b$ and $c$. ...
2
votes
1answer
66 views

Analytical integration of a composite Dirac delta

From the well-known properties of the Dirac delta function $ \delta(f(x)) = \sum_k \frac{\delta(x-x_k)}{|f'(x_k)|} \qquad x_k = \text{zeros of }f(x) $, $ \delta(f(x))=0 \qquad \qquad\qquad \text{if ...
1
vote
1answer
39 views

Assuming x real, simplifying or refining Im[1/(x+i)] doesn't yield anything

I think it is straightforward from the title, Simplify[Im[1/(x+I)], x > 0] spits out, Im[1/(x+I)] while I would have ...
0
votes
0answers
36 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 ...
1
vote
1answer
67 views

Implementing global Assumptions [closed]

Why do the following commands $Assumptions = {Element[x, Reals], x > 0}; Solve[{x^2 == 1}, {x}] Solve[{x^2 == -1}, {x}] give ...
1
vote
2answers
60 views

Correctly restricting domain of parameters within Solve

I have seen a few posts about this (such as this one), but none solved my problem. As a silly example, suppose I want to solve (1-x)^n = 0, knowing that n > 1. I ...
5
votes
1answer
89 views

Make assumption for function with variable argument

I would like to assume that a>t[b_] for any b, such that e.g. Simplify[a>t[c]]==True. ...
1
vote
1answer
86 views

Many global assumptions

I will do some calculations with probability distribution p[t] - which is a vector and each term corresponds to a probability of some event. Accordingly the sum over the terms in p[t] has to be one, ...
0
votes
0answers
69 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: ...
3
votes
2answers
65 views

Simplify the cubic root of cube assuming real and positive variable

I know this is very simple but I couldn't find a reasonable solution for it in the archive. It seems that my Mathematica does not take into account the assumptions when it wants to simplify the ...
0
votes
1answer
103 views

Why are some of my assumptions ignored?

In my opinion Mathematica should be able to further calculate and simplify the output of G1[...]. ...
0
votes
1answer
43 views

Integrate ignores Assumptions [closed]

I'm asking Mathematica to compute: ...
0
votes
0answers
37 views

FullSimplify does not simplify at all

I have some problems simplifying things with FullSimplify. Suppose a matrix ...
0
votes
1answer
46 views

How to work properly with assumptions?

I'm trying to find an analytical solution which depends only of $i,j$ and $a$ variables, for a serie considering some initial assumptions. The series is $$s_{i0}=s_{0j} = 1,\\ s_{11} = 1-a,\\ s_{12} ...
0
votes
0answers
24 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 ...
2
votes
1answer
91 views

Taking real and imaginary parts after reciprocal

I noticed the following strange scenario. When I defined a variable to be real, Mathematica does not only recognize that it is real after taking an inverse. How can I resolve this so that it will ...
0
votes
1answer
45 views

I am asserting a variable in Mathematica as Real yet it is not implementing it!

Element[\[Theta], Reals]; Ga = g; Gb = g*Exp[I*\[Theta]]; {{Conjugate[Gb], Ga}, {Ga, Gb}} I have a code as such for a matrix as given above. as ...
1
vote
1answer
66 views

FullSimplify does not work well (require answer in terms of a particular variable)

(new to Mathematica) I am trying to simplify the Schwarzian derivative of f w.r.t. u.(In[10]). Here f is prime of Weierstrass function (In[8]) which has some constraints (In[9]) ...
5
votes
1answer
592 views

How to plot the eigenvalues of a parametric matrix efficiently?

I was wondering how can I set the variable type of matrix elements to be real. The problem is, I creat a variable-dependent matrix as follows and I get the eigenvalues now I want to plot the ...
0
votes
1answer
117 views

Multiple Assumptions for Symbolic Matrices

new to the forum and here's the question I'm pondering on: I'm trying to use FindInstance in Mathematica to solve a symbolic matrix equation with quite a few assumptions. For example, quite ...
0
votes
0answers
28 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 ...
0
votes
1answer
61 views

Simplifying an expression involving a matrix and functions of it

I have implemented the following two matrices in Mathematica in order to compute s, but I don't know how I can further simplify the resulting expressions, e.g., ...
2
votes
2answers
135 views

FullSimplify a trigonometric expression doesn't work as expected

I know this kind of question is frequent asked, yet each case has its own particularities. I will show my problem. I define the following: ...
0
votes
0answers
96 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 <...
0
votes
2answers
90 views

Result with assumptions contradicts previous result

Without assuming anything on the argument of the complex number inside the Gamma function ...

1
2 3 4 5
8