[Maxima-bugs] [maxima:bugs] #4591 solve called on degree six gives 0^0 error

[Stavros M. <mac...@us...>]

~~~~
xxx : (x^2 + 1+%i)^3$
solve(expand(xxx),x)
~~~~
For all values of ``gcd``, ``solve(expand(xxx),x)`` gives an error with ``algebraic:false`` and the correct answer with ``algebraic:true``. Although the answer is simplified (i.e. ``expand(...,0,0)`` leaves it unchanged), it is ridiculously large. But ``expand`` and ``rectform`` reduce it to the simple answer.
~~~~
algebraic:true$ solve(expand(xxx),x)[1]
   =>
     - 1   sqrt(3) %i
x = (─── - ──────────)
      2        2
                                                 3
  6 (3 %i + 3) %i - 3 (2 %i - 2)   - 1 (3 %i + 3)  1/3
 (────────────────────────────── + ───────────────)
                6                        27
                              2
                - 1 (3 %i + 3)    sqrt(3) %i   - 1
        (2 %i + ───────────────) (────────── + ───)
                       9              2         2
 - ─────────────────────────────────────────────────────
                                                   3
    6 (3 %i + 3) %i - 3 (2 %i - 2)   - 1 (3 %i + 3)  1/3
   (────────────────────────────── + ───────────────)
                  6                        27
   - 1 (3 %i + 3)
 + ────────────── 
         3
----         
expand(%) => 
    x = - %i - 1
~~~~


---

**[bugs:#4591] solve called on degree six gives 0^0 error**

**Status:** open
**Group:** None
**Labels:** solve solvefactors 
**Created:** Tue Aug 05, 2025 10:45 AM UTC by Barton Willis
**Last Updated:** Tue Aug 05, 2025 11:53 AM UTC
**Owner:** nobody


OK:
~~~
(%i1) xxx : (x^2 + 1+%i)^3$
(%i2) solve(xxx,x);
(%o2) [x = - sqrt(- %i - 1), x = sqrt(- %i - 1)]
~~~

Not OK--this was done using the default value for solvefactors (true)
~~~
(%i3) solve(expand(xxx),x);                  
expt: undefined: 0^0
~~~




---

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.