#397 MAX(a+b,c) is NOT equal to MAX(c,a+b)

closed
nobody
5
2008-05-14
2003-09-05
Anonymous
No

(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
vidybida@bitp.kiev.ua

Discussion

  • Nobody/Anonymous

    Logged In: NO

    Comment by A lexander VIDYBIDA
    vidybida@bitp.kiev.ua

    Maxima version: 5.9.0
    Maxima build date: 19:1 8/5/2003
    host type: i586-pc-linux-gnu
    lisp-implementation-type: CLISP
    lisp-implementation-version: 2.27 (released 2001-07-17) (built 3223390905) (memory 3269088151)

     
  • Barton Willis

    Barton Willis - 2003-09-05

    Logged In: YES
    user_id=570592

    Most likely, this bug is related to the bug

    (C1) assume(a+b > c);
    (D1) [- C + b + a > 0]
    (C2) sign(a+b-c);
    (D2) POS
    (C3) sign(c-(a+b));
    (D3) PNZ

    The result of PNZ (positive, negative, or zero) isn't wrong;
    however, Maxima should be able to determine that
    c - (a + b) < 0. That is (d3) should be NEG instead of
    PNZ.

    Barton

     
  • Robert Dodier

    Robert Dodier - 2006-07-10

    Logged In: YES
    user_id=501686

    Still present in 5.9.3cvs.

     
  • Robert Dodier

    Robert Dodier - 2006-07-10
    • labels: --> Lisp Core - Assume
     
  • Barton Willis

    Barton Willis - 2008-05-14
    • status: open --> closed
     
  • Barton Willis

    Barton Willis - 2008-05-14

    Logged In: YES
    user_id=895922
    Originator: NO

    In 5.15.0:

    (%i34) assume(a+b > c)$
    (%i35) max(a+b,c);
    (%o35) b+a
    (%i36) max(c,a+b);
    (%o36) b+a

     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks