8 years, 74 days

## Well, that seems to fix that simple exam...

Well, that seems to fix that simple example.  How does one work in general?  I have a routine which generates linear equalites and inequalities and I want to see if there are any solutions.  The following should give no solutions

```  solve([0 < 2*f[1], 5 < f[1]+f[2], 8 < f[1]+f[3], f[1]+f[4] = 7, 0 < 2*f[2], f[2]+f[3] = 6,
6 < f[2]+f[4], 0 < 2*f[3], 11/2 < f[3]+f[4], 0 < 2*f[4]],{f[1],f[2],f[3],f[4]});```

But gives

`{f[1] = 7-f[4], f[2] = 6-f[3], f[3] = f[3], f[4] = f[4]}`

Rewriting as you suggest

```  solve([ 5 < f[1]+f[2], 8 < f[1]+f[3], f[1]+f[4] = 7, f[2]+f[3] = 6,
6 < f[2]+f[4],11/2 < f[3]+f[4]])
assuming And(f[1]>0,f[2]>0,f[3]>0,f[4]>0);```
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}