The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
2answers
79 views

Ask Mathematica if there exists a value that satisfies conditions

I would like to build a function that returns true if there exists even one value of xg1 such that having as inputs Mtot, PL, xg2, mac, xga, and defining ...
3
votes
2answers
104 views

Problems with integrating over a region

Following the example of this answer: Find the volume of the region defined by $|x|+|y|+|z|<4$ I tried to compute the following integral over a region by using ImplicitRegion. However, when I ...
0
votes
0answers
36 views

Is it possible to declare a global variable in a package? [closed]

I have to create some functions in a package to solve inequalities step-by-step. I am having problems understanding some scope issues. For example, I have this function: ...
0
votes
2answers
38 views

Solving several inequalities in Mathematica

I am a very beginner of Mathematica and the following will probably be a very stupid question. I have a bunch of inequalities in 6 unknowns and I want to find the set of values satisfying them. Can I ...
0
votes
1answer
50 views

Reduce unable to solve simple inequalities with quantifiers

I have try to solve following inequalities using Mamthematica. But it unable to solve that. ...
3
votes
2answers
65 views

Solving an inequality involving the Fibonacci function

How can I solve an inequality that involves the Fibonacci function? For instance, say I want to determine for which values of $n$ we get that $$F_n\leqslant 1000.$$ I tried to use ...
0
votes
0answers
47 views

Solve huge system of inequalities

I need to solve the huge system of algebraic linear inequalities (up to milions). But the built-in methods like Solve, Reduce, FindInstance... seems to be very slow. I have problem to solve "only" 100 ...
0
votes
0answers
35 views

Solving an inequality with Root objects

Given q1 = Root[(48 a^2 + 16 b) #^4 - (40 a^3 + 168 a b)#^3 + (-45 a^4 + 225 a^2 b + 72 b^2) #^2 + (27a^3 b - 162 a b^2) # + 27 b^3 &,1] Now, I know that the ...
1
vote
0answers
50 views

Can Mathematica solve Kuhn-Tucker Equations with arbitrary functional form (up to 2nd order derivative)

I am in a business of solving a 5-variables optimization with inequality constraints, and I would like to maintain the functional form as arbitrary as possible. So far, I am assuming that the ...
5
votes
3answers
220 views

Relational operators on vectors

How do I use relational operators on vectors? {1, 2, 3} > {0, 1, 2} (*outputs {1, 2, 3} > {0, 1, 2}*) More generally, I want ...
3
votes
2answers
50 views

Strange behavior with Inequality and pattern matching

An expression like this one a < x < b is normally represented as Less[a, x, b] while an expression like ...
0
votes
1answer
68 views

How can I graph this inequality on the x-y plane?

I'd like to graph the following inequality on the x-y plane: $$ P(y): (\forall x\in [0,y))\left(\frac{x - \epsilon(1+a)}{a} \leq y \leq \frac{x + \epsilon(1+a)}{a}\right) $$ This is the set of ...
1
vote
1answer
63 views

Create large system of inequalities by substituting coefficients from intervals

I have given statements for example: $ax + by < c_1$ $cx + by + dz < c_2$ And I want to create larger system of inequations in such a way (suppose variables $x,y,z$ from intervals): I ...
-1
votes
2answers
79 views

How can I make a command to write out the solution of the absolute value inequality?

I've written this source code, but I can't finish it yet. ...
0
votes
0answers
54 views

How can I make an amateur demonstration to solve absolute value equations and inequalities?

I would like to make a program which can solve absolute value equations and inequalities, but I'm a beginner of using the mathematica. I found amazing good demonstrations at the web-page of ...
0
votes
0answers
59 views

Is this problem parametrically solvable or it can just be solved for specific $\sigma$ and $\theta$?

In order to solve This problem: What is the maximum value of coefficient fv with the constraint that the matrix is positive semi-definite?, I have used the following code (Determinant is computed by ...
1
vote
1answer
103 views

Wrong root when using numerical values

I have the following inequality: $$ \sqrt{\frac{a}{2x}}+ \frac{b}{1-\frac{a}{a+\sqrt{a(2bx + a)}}} + \frac{a}{2x\frac{a}{a+\sqrt{a(2bx + a)}}\left(1-\frac{a}{a+\sqrt{a(2bx + a)}}\right)} < f $$ on ...
0
votes
0answers
28 views

Tips on finessing Reduce[] with inequalities

Reduce[] sometimes solves inequalities I give it, sometimes it doesn't. Is there some general principles I'm missing or some common pitfalls I'm falling into? For example, here is easy problem I ...
0
votes
1answer
145 views

Check an inequality if one condition holds

A = Abs[-1 + 1/(1 + β)] + Abs[-((1 + 2 α + Sqrt[1 + 4 α + 4 α β])/(2 α + 2 α β))] Is A <1 if ...
4
votes
1answer
99 views

How to reduce/simplify an inequality involving Abs[]?

Can Mathematica reduce this inequality into a domain of z, where {z, r1, ...
3
votes
1answer
80 views

Using TrueQ with conditions

Say I want to ask Mathematica whether $|x| = x$ for all $x > 0$. Obviously, if I try TrueQ[Abs[x] == x], I get False, ...
0
votes
1answer
63 views

Plot absolute value inequalities - number line

I'd like to ask you about the way to draw the number line for absolute value inequalities. Is there any built-in tool? In this case the input was $|x-6| > 3$. My point is to achieve something ...
0
votes
2answers
51 views

Evaluating a list of inequalities with random numbers [closed]

I have a list of inequalities, which include in total four parameters, that I would like to test by feeding the four parameters with random numbers. The goal is to find the best values of the ...
8
votes
3answers
398 views

Shading a region where an inequality is satisfied

I'm creating solution sets for a calculus course and need to shade the region in $\mathbb R^2$ such that $x^2 < y < x^4$. This is what I have so far: ...
0
votes
1answer
102 views

Reduction of an Inequality in $\mathbb{C}$

Reduce[ Abs[-((4 p)/(-1 + Sqrt[1 + 4 p + 4 q])^2)] + Abs[-((4 q)/(-1 + Sqrt[1 + 4 p + 4 q])^2)] < 1 , Abs[p]] It is taking lot of time. It is running. Can ...
1
vote
0answers
66 views

Simplify Integer powers in inequalities

I have a fairly simple expression that I am surprised Mathematica (10.1) won't simplify ...
2
votes
1answer
122 views

Solve an inequality involving a sum with a parameter

Good day. I am new to Mathematica and I am looking for advice. Is it possible to solve $$\sum_{k=0}^{n} \frac{p^k}{k!}>0$$ for $n$ where $p$ is a parameter? When I do ...
0
votes
0answers
37 views

Need help with solving inequality under assumptions [duplicate]

I seriously need help for my research. I need to solve an inequality with several assumptions. I tried many times with Reduce but it did not work out properly. Sometimes the results I get are simply ...
1
vote
1answer
94 views

Reduce with for all and implies

I have the following question. p1 = a (1 - c + a) p2 = b (1 - c - b)/((1 - b)^2) v1 = (x^1.5 - 3*x)*p1 v2 = x*p2 I want to find x ranges which makes v1>v2 under ...
-1
votes
1answer
82 views

Find a minimum value which satisfies an equation

I have to find a minimum value of "a" which makes x=-a+b+c, y=-a+b+c^2 positive where a>1, 0 ...
0
votes
1answer
56 views

Trouble in finding instances of values of variables that satisfy an inequality

Consider the following mathematical expression with complex numbers (phasor) and two variables (lambda and ia2): ...
4
votes
1answer
171 views

How to solve a conditional inequality?

I am trying to use Mathematica to solve a conditional inequality. Find all (real) numbers $a$ and $b$ such that $|a| + |b| \ge 2/ \sqrt{3}$ and for any real $x$ the inequality $ |a\sin x + b \sin ...
4
votes
1answer
174 views

Does `Reduce` give complete and necessary conditions?

I want to obtain a solution for a system of five inequalities. For instance, ...
6
votes
1answer
86 views

How to simplify expressions by closing open inequalities?

Recently I have often acquired results which consist of combinations of 0, 1 and 2-dimensional (in)equalities. For instance, consider a very simple case with ineq1 ...
4
votes
0answers
70 views

Inequality involving Quantity stays unevaluated

Bug introduced in V10.1 and presisting through V10.4 An expression like this one a < x < b is represented as ...
3
votes
4answers
200 views

Find the volume of the region defined by $|x|+|y|+|z|<4$

I want to find the volume of the region defined by the following inequality: $\quad \quad |x|+|y|+|z|<4$ In addition to calculating the volume of this region, I would also like to be able to ...
1
vote
0answers
56 views

How to speed up geometric Resolve query involving $\exists$ and $\forall$?

I would want to test connectedness of semialgebraic sets with naive code like this: ...
4
votes
1answer
274 views

How to draw a tropical surface?

By definition, a tropical surface in $\mathbb R^3$ is the set of points $(x,y,z)$ where the maximum $f=\max(f_1,f_2,\dots,f_n)$ is attained at least twice, here $f_i$ stand for some linear functions ...
0
votes
2answers
73 views

Proving simple inequality

I have a simple function and want to make sure that it satisfies an inequality over a certain range of parameters. My approach is: ...
0
votes
3answers
113 views

Filtering the output from Table and export it into excel

I have the following functions ...
5
votes
2answers
370 views

Is there an inequality operator (Less, Greater) for lists of elements (as opposed to elements)?

Like multi-column sorting. For example, {1,3,5} > {1,2,5} would return True, while ...
2
votes
2answers
70 views

Reduce and roots of an irrational inequality

I use command Reduce to solve an inequality. First, I used Reduce[Sqrt[4 x + 5] - Sqrt[-6 x + 10] <= Sqrt[2 x - 1], x] and ...
1
vote
1answer
97 views

Replacing Logic operator List and generate combination of variables

so I'm trying to do the following starting from a list of inequalities: ...
2
votes
0answers
139 views

Proving large inequality in 6 variables

I have arrived at a very large inequality in 6 variables that I would like to prove is true. The command I have tried is the following: ...
4
votes
0answers
123 views

cut and project tilings — Amman Beenker tilings

A certain research paper gives a recipe for building Amman-Beenker tilings as a special type of cut-and-project algorithm. The result is usually a pleasant kind of aperiodic tiling shape. The ...
1
vote
1answer
134 views
7
votes
0answers
142 views

How does Mathematica resolve symbolic systems of inequalities? [closed]

Before getting into my question, let me provide some context: I recently started using Mathematica to automatically perform stability analyses that I previously did by hand. A major part of the ...
1
vote
0answers
53 views

Simplifying an inequality inside an answer by parts

I have the following piece of code where I'm evaluating a probability of a variable v being greater than some threshold under a Uniform distribution. ...
0
votes
2answers
84 views

Why Mathematica cannot tell if Sqrt[Abs[u0^2 + v0^2/b^2]] is positive?

In the code below I was careful to declare all variables as real and to use Refine. Still, Mathematica cannot tell that a sum of squares is a positive number. What am I missing? Thanks to ...
3
votes
4answers
433 views

Solving puzzles with Mathematica

I would like to be able to solve logic puzzles such as the one described here using Mathematica. I have copied & pasted the listed example below to save on jumping about with hyperlinks: The ...