[Maxima-bugs] [maxima:bugs] #5217 rectform(sqrt(x*y)) under domain : complex

[David S. <tom...@us...>]

---

**[bugs:#5217] rectform\(sqrt\(x\*y\)\) under domain : complex**

**Status:** open
**Group:** None
**Labels:** rectform domain complex sqrt 
**Created:** Wed Sep 02, 2026 08:05 PM UTC by David Scherfgen
**Last Updated:** Wed Sep 02, 2026 08:05 PM UTC
**Owner:** nobody


Isn't `rectform` supposed to always take the principal branch?
Here's an example where depending on whether we substitute concrete values before or after applying `rectform`, we get a different result:

~~~
(%i1) domain : complex$

(%i2) f : sqrt(x * y)$

(%i3) subst([x = -1, y = -1], rectform(f));
(%o3) -1

(%i4) rectform(subst([x = -1, y = -1], f));
(%o4) 1
~~~


---

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.