[Maxima-bugs] [maxima:bugs] #4630 expand not idempotent (simplus)

[Barton W. <wil...@us...>]

Correction:  This fix isn't in the `do-over` scheme, but it has something to do with  handling of rational powers of integers (in the function `surd-convert`).   Maybe the culprit is in `simpexpt` but the `altsimp` code works around the bug.

Also, running the testsuite triggers the `do-over` scheme about seven times. 


---

**[bugs:#4630] expand not idempotent (simplus)**

**Status:** open
**Group:** None
**Labels:** Lisp Core - Simplification simplus 
**Created:** Tue Nov 04, 2025 07:57 PM UTC by Stavros Macrakis
**Last Updated:** Tue Nov 04, 2025 09:50 PM UTC
**Owner:** nobody


<pre>
vv: ((1/sqrt(2)-2^(1/3))/2^(1/3)-%i/2^(5/6))*(-(%i/2^(5/6))-(2^(1/3)+1/sqrt(2))/2^(1/3))$
expand(vv) =>
2^(1/6)*%i+1/2^(5/6)-1/2^(2/3)-1/2^(5/6)+1
expand(%) =>
2^(1/6)*%i-1/2^(2/3)+1
</pre>

Maxima 5.48.1 SBCL 2.5.7 MacOS 15.7.1 Intel



---

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.