Timeline for Terminology for system of equations and...
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2012 at 2:37 | comment | added | Benjamin Steinberg | @Noam, thanks for this. I should have remembered this trick from GL_n and localizations at an element. However in contexts like group theory there is no such trick. | |
| Apr 8, 2012 at 0:53 | comment | added | Noam D. Elkies | There's also the standard trick of introducing auxiliary variables $y_j$ and replacing each nequation $q_j(x_1,\ldots,x_n) \neq 0$ by the equation $q_j(x_1,\ldots,x_n) \cdot y_j = 1$. | |
| Apr 8, 2012 at 0:47 | comment | added | Benjamin Steinberg | Ok, I think I will stick with Mark's answer then. | |
| Apr 7, 2012 at 21:21 | comment | added | user6976 | These are called "equations and inequations" in the literature related to first order theories (say, Tarski problem and such). | |
| Apr 7, 2012 at 19:53 | answer | added | Joe Silverman | timeline score: 2 | |
| Apr 7, 2012 at 18:34 | comment | added | Benjamin Steinberg | The situation for semi-algebraic sets is different since inequality ends up being about the order. But to me when there is no order inequation or disquality. Sound better. But I would feel better to not use an ad hoc term. So I am hoping to hear an official term if possible. | |
| Apr 7, 2012 at 18:23 | comment | added | Andreas Blass | I've also seen the term "disequality" or "disequation". | |
| Apr 7, 2012 at 18:19 | comment | added | Gerhard Paseman | Also search for inequations. Gerhard "Ask Me About System Design" Paseman, 2012.04.07 | |
| Apr 7, 2012 at 17:55 | comment | added | Gerald Edgar | See "semialgebraic set" ... en.wikipedia.org/wiki/Semialgebraic_set ... in that setting, of course, $q_j \ne 0$ is the same as $q_j^2 > 0$. | |
| Apr 7, 2012 at 17:51 | history | asked | Benjamin Steinberg | CC BY-SA 3.0 |