From: SourceForge.net <no...@so...> - 2003-09-05 16:59:29
|
Bugs item #801231, was opened at 2003-09-05 09:59 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=801231&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: MAX(a+b,c) is NOT equal to MAX(c,a+b) Initial Comment: (C1) assume(a+b>c)$ (C2) MAX(a+b,c); MAX(c,a+b); (D2) b + a (C3) (D3) MAX(c, b + a) #why it is not simplified ? (C4) is(MAX(a+b,c)=MAX(c,a+b)); (D4) FALSE #why FALSE if must be TRUE ? P.S. Appreciate if you exclude javascripts from the site. Alexander VIDYBIDA vid...@bi... ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=801231&group_id=4933 |