From: SourceForge.net <noreply@so...>  20040419 19:55:20

Bugs item #935030, was opened at 20040414 12:17 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=935030&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: ratsimp with algebraic == true Initial Comment: With algebraic == true, ratsimp doesn't fully simplify some expressions. Here is an example (C1) display2d : false$ (C2) algebraic : true$ (C3) integrate(1/(2+x^3),x)$ (C4) ratsimp(diff(%,x)); (D4) 4*2^(2/3)/(4*2^(2/3)*x^3+8*2^(2/3)) (C5) ratsimp(%); (D5) 1/(x^3+2) Maybe this is the purpose of fullratsimp, but it seems odd that ratsimp fails to cancel the factor of 2^(2/3). I discovered this when I ran run_testsuite with algebraic == true. (C6) build_info(); Maxima version: 5.9.0.1cvs Maxima build date: 7:58 4/5/2004 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL 2.7.0 Barton  >Comment By: Stavros Macrakis (macrakis) Date: 20040419 15:55 Message: Logged In: YES user_id=588346 Though this is annoying and surprising, it *is* documented: >>>>>>>>>(fullratsimp) When nonrational expressions are involved, one call to RATSIMP followed as is usual by nonrational ("general") simplification may not be sufficient to return a simplified result. <<<<<<<<< Also, the algebraic flag only changes the behavior with gcd=spmod. With gcd=subres (the default), you need two ratsimp's regardless of the setting of algebraic.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=935030&group_id=4933 