[Maxima-bugs] [maxima:bugs] Re: #4347 maxima would not simplify nor rationalize the simplest expression

[dan h. <zm...@us...>]

 yea apparently it did work but one would never know from looking in the help file for rootsconmode as that option 'super' is not listed for that at least in my help file. i wonder if it is listed in anyone elses more recent versions of maxima help ?

    On Saturday, August 17, 2024 at 11:51:11 AM CDT, Stavros Macrakis via Maxima-bugs <max...@li...> wrote:  
 
 
rootsconmode does not support super.
I was suggesting that it should use that to handle this case.

[bugs:#4347] maxima would not simplify nor rationalize the simplest expression

Status: open
Group: None
Created: Thu Aug 15, 2024 02:40 PM UTC by dan hayes
Last Updated: Sat Aug 17, 2024 02:09 PM UTC

Owner: nobody
build_info() or bug_report()
"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

(assume_pos:true, file_output_append:true, ratprint:false, showtime:true,load(simplify_sum)
, simpsum:true, load("lrats"),letrat:true,ratfac:true,algebraic:true,fpprintprec:4);

(tt:solve([x+y-u,x*y-v],[x,y]),ta:rationalize(factor(lratsubst(part(tt,1),(1-x)^a(1+x)^b(1-y)^a(1+y)^b)))
,tb:factor(ratsimp( ((2-u)^2-u^2+4v)^a((2+u)^2-u^2+4v)^b)*(2^(-2))^(b+a)),disp([ta,tb]) ); 

ok i know from help it says rationalize is for floating numbers but i tried everything else so i tried that 
and maxima would not simplify the expression ta so i had to manually do it myself to get rid of irrational expression. Clearly maxima should have been able to do that itself and end up with my expression tb without me having to do it myself. Why did it not? and if not why is there no way to implement that. There certainly should be.

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.
_______________________________________________
Maxima-bugs mailing list
Max...@li...
https://lists.sourceforge.net/lists/listinfo/maxima-bugs
  


---

**[bugs:#4347] maxima would not simplify nor rationalize the simplest expression**

**Status:** open
**Group:** None
**Created:** Thu Aug 15, 2024 02:40 PM UTC by dan hayes
**Last Updated:** Sun Aug 18, 2024 12:24 AM UTC
**Owner:** nobody


build_info()  or bug_report()
"branch_5_44_base_231_g5c411f69f",timestamp="2021-01-12 23:51:42",host="x86_64-w64-mingw32",lisp_name="SBCL",lisp_version="2.0.0",maxima_userdir="C:/Users/zmth1/maxima",maxima_tempdir="C:/Users/zmth1/AppData/Local/Temp",maxima_objdir="C:/Users/zmth1/maxima/binary/branch_5_44_base_231_g5c411f69f/sbcl/2_0_0",maxima_frontend="wxMaxima",maxima_frontend_version="20.12.2-DevelopmentSnapshot_MSW_OpenMP201511+Locks")

(assume_pos:true, file_output_append:true, ratprint:false, showtime:true,load(simplify_sum)
, simpsum:true,  load("lrats"),letrat:true,ratfac:true,algebraic:true,fpprintprec:4);

(tt:solve([x+y-u,x*y-v],[x,y]),ta:rationalize(factor(lratsubst(part(tt,1),(1-x)^a*(1+x)^b*(1-y)^a*(1+y)^b)))
,tb:factor(ratsimp(  ((2-u)^2-u^2+4*v)^a*((2+u)^2-u^2+4*v)^b)*(2^(-2))^(b+a)),disp([ta,tb])  );  

ok i know from help it says rationalize is for floating numbers but i tried everything else so i tried that 
and maxima would not simplify the expression ta so i had to manually do it myself to get rid of irrational expression. Clearly maxima should have been able to do that itself and end up with my expression tb without me having to do it myself. Why did it not? and if not why is there no way to implement that. There certainly should be.














---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.