Podcast #128: We chat with Kent C Dodds about why he loves React and discuss what life was like in the dark days before Git. Listen now.

Questions tagged [resolve]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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

RegionPlot3D with Resolve: error: “…must be a Boolean function”

I try to plot such a thing: ...
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 ...