Edge Rewrite
Jump to content

Talk:Signomial

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 21 days ago by Toby Bartels in topic Proposed simplification

Proposed simplification

[edit]

I propose simplifying "Consequently, each signomial is either a posynomial, the negative of a posynomial, or the difference of two posynomials." to "Consequently, each signomial is the difference of two posynomials." Anyone have a problem with this? Vaughan Pratt (talk) 08:03, 23 September 2014 (UTC)Reply

It's true that every signomial is the difference of two posynomials; a posynomial f is f  0, and its opposite f is 0  f. However, this is a little subtle; posynomials don't allow 0 as a coefficient, but 0 still appears as the posynomial with no terms. (You could also do (f + 1)  1 and 1  (f + 1), which is less subtle but more arbitrary.) So I'm inclined to in fact make it more complicated, by keeping the current statement and then adding that technically the difference covers everything. ―Toby Bartels (talk) 17:01, 2 September 2026 (UTC)Reply