# Questions tagged [findinstance]

The tag has no usage guidance.

39 questions
Filter by
Sorted by
Tagged with
0answers
149 views

### FindInstance boolean program is slow, but fast with BooleanConvert

FindInstance can be incredibly slow to solve a boolean program, but it can be significantly improved by using BooleanConvert to ...
4answers
271 views

### FindInstance won't compute this simple expression

I want to find instances where this standard 3x3 symmetric matrix has only positive eigenvalues. So I run ...
5answers
368 views

### Faster way to pick pairs of integer coordinates from a “region”

I am trying to find a faster way to do this than what I have put together or by looping through a bunch of points. I want to select all pairs of integer points ((x1,y1),(x2,y2)) such that: Point (x1,...
1answer
92 views

### What are the 'special or interesting points in the set' returned by FindInstance?

The documentation for FindInstance[] says: The instances returned by FindInstance typically correspond to special or ...
1answer
87 views

1answer
80 views

### Reducing system of 10 inequalities

I have the following system of inequalities of real variables ...
3answers
125 views

### Checking Rationality Using FindInstance

I need to find example if $x,\sqrt{x^2+6},\sqrt{x^2+12}$ all can be rational at once or not. But the following command ...
1answer
60 views

0answers
54 views

### Turning FindInstance into True or False

I have a function where I input a certain vector of parameters and it gives me the output of 16 FindInstances. So, a typical output will look something like this ...
0answers
54 views

### Finding a solution to a modular problem efficiently

I want to find a naïve hash function of the form Mod[a x + b, 2^p] which would produce a value less or equal to v for all ...
0answers
67 views

### Why is FindInstance unable to find multiple pythagorean triples?

If I input the code FindInstance[x^2 + y^2 == z^2 && 0 < x && 0 < y && 0 < z, {x, y, z}, Integers, 2] Mathematica outputs "...