search

rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

divide with fractional powers and algebraic:true -- never returns #3587

Open rtoy opened 2 weeks ago

rtoy commented 2 weeks ago

Imported from SourceForge on 2024-07-08 09:33:23 Created by macrakis on 2014-12-20 06:36:34 Original: https://sourceforge.net/p/maxima/bugs/2863

divide(1,x^(2/3)+1),algebraic => never returns

Compare:

ratsimp(1/(x^(2/3)+1)), algebraic => OK divide(1,x^(1/3)+1),algebraic => OK ratsimp(1/(x^(1/3)+1) => OK

Similarly for (x^2+1)/(x^(2/3)+1)

rtoy commented 2 weeks ago

Imported from SourceForge on 2024-07-08 09:33:24 Created by robert_dodier on 2014-12-22 18:02:34 Original: https://sourceforge.net/p/maxima/bugs/2863/#a180

Looks like BPROG in src/simp.lisp gets stuck in a loop because PDEGREE never returns 0. My first guess is that BPROG is assuming its arguments are polynomials and it has been handed some non-polynomial. I guess that's a bug somewhere down the call stack.