Questions tagged [resolve]
The resolve tag has no usage guidance.
17
questions
0
votes
1answer
31 views
Get Conditions for Variable to be Real
I have a complex definition of a few variables (that I got using s = Solve[1 - a x^2 - x^3 == 0, x]) and I now want to know under what conditions of "a" will each ...
3
votes
1answer
88 views
How to define a custom domain?
Is there a way in Wolfram language to define a domain by explicitly listing it as a set.
For example given a function g as follows:
...
0
votes
1answer
73 views
Why is Resolve not reducing my set?
I tried to run the following code to get the region where (v,b,r) satisfies some complicated set of inequalities.
...
0
votes
0answers
39 views
On the variables used by ForAll
I have the following system of inequalities:
test = (1+a>=b)&&(a>=0)&&(1+a+b>=0)
So if I use the following code:
...
0
votes
0answers
53 views
How to check if two subspaces are conjugate?
I want to check if there exists an element $g \in SL(2,\mathbb{R})^2$ such that $Ad(g) \mathfrak{h} = \mathfrak{h}_\lambda$ for some given subalgebras $\mathfrak{h},\mathfrak{h}_\lambda \subset \...
0
votes
1answer
309 views
Resolve, Solve, Refine, etc., do not work, but Wolfram|Alpha does
As a teacher, I am trying to show some step-by-step execution. (Any help with tools would be most appreciated.)
Related, I cannot get the following to work:
...
1
vote
0answers
55 views
Does `Resolve` not work with exponents?
I do not think I truly understand how Resolve is working despite reading the documentation and various posts on this stack exchange. For example, why is this ...
4
votes
0answers
93 views
How to use Resolve to prove ForAll function
I want to prove that
∀n ∈ N，Mod[9^n - 8 n - 1, 64] == 0
I think I should use Resolve to prove it
...
4
votes
2answers
83 views
Resolve returns False on two contradicting statements
I'm trying to prove an inequality using Mathematica. This is the code leading to the inequality:
...
1
vote
1answer
71 views
solve equation with integer maximum [closed]
how to solve with Mathematica
a)$ \left [\kern-0.10em\left[
5 x
\right]\kern-0.15em\right] = 2x+1$
b) $ \left [\kern-0.10em\left[1/
5 x
\right]\kern-0.15em\right] > 2x+1$
EDIT = double ...
2
votes
2answers
399 views
Projection of a 4D region defined by function on 3D region
I am trying to project a 4D region defined by a function onto a 3D region so I could visualize it. I am trying to use Resolve to achieve this but it is not working. ...
2
votes
2answers
618 views
2
votes
1answer
203 views
Quantifier elimination by using Resolve outputs a formula that is “too complicated”
The following command:
...
2
votes
1answer
99 views
Resolve assuming $x$ is real when $x$ is a free variable in a ForAll expression
I am using Mathematica to check whether a function is positive semidefinite. I have come upon an odd situation. Namely, when I input
...
1
vote
2answers
140 views
Resolve does not resolve this statement with quantifier
I'm trying to use Resolve to get a condition on a parameter for which the statement is true, but it doesn't look like it's working:
...
0
votes
1answer
57 views
Resolving logical statement returns statement as answer instead of boolean value? [closed]
I ran the following command:
...
3
votes
0answers
60 views
Something wrong in `Resolve`?
In[17]:= Resolve[ForAll[x, Sqrt[x] \[Element] Reals, x >= 0]]
Out[17]= False
I have tried to simplify an expression, but could not get the result I want. Then ...
