Sage: Ticket #22621: Improve sqrt products simplification
https://trac.sagemath.org/ticket/22621
<p>
Let the argument be positive. I think the following should give <code>sqrt(6)</code>, and <code>6*sqrt(2)</code> respectively.
</p>
<pre class="wiki">sage: (sqrt(2) * sqrt(3)).simplify_full()
sqrt(3)*sqrt(2)
sage: (sqrt(12) * sqrt(6)).simplify_full()
2*sqrt(6)*sqrt(3)
</pre><p>
There is a Pynac ticket for this but we appreciate improvements of Maxima as well.
</p>
en-usSagehttps://trac.sagemath.org/chrome/site/logo_sagemath_trac.png
https://trac.sagemath.org/ticket/22621
Trac 1.1.6kcrismanFri, 17 Mar 2017 13:27:41 GMT
https://trac.sagemath.org/ticket/22621#comment:1
https://trac.sagemath.org/ticket/22621#comment:1
<p>
Is this also going to simplify <code>sqrt(-3)*sqrt(-2)==sqrt(6)</code>? We've had this discussion before...
</p>
TicketrwsSat, 18 Mar 2017 07:13:17 GMTdescription changed
https://trac.sagemath.org/ticket/22621#comment:2
https://trac.sagemath.org/ticket/22621#comment:2
<ul>
<li><strong>description</strong>
modified (<a href="/ticket/22621?action=diff&version=2">diff</a>)
</li>
</ul>
<p>
Replying to <a class="ticket" href="https://trac.sagemath.org/ticket/22621#comment:1" title="Comment 1">kcrisman</a>:
</p>
<blockquote class="citation">
<p>
Is this also going to simplify <code>sqrt(-3)*sqrt(-2)==sqrt(6)</code>? We've had this discussion before...
</p>
</blockquote>
<p>
I don't remember but I hope it concluded that combining positive arguments is fine.
</p>
TicketkcrismanSat, 18 Mar 2017 17:04:58 GMTcc set
https://trac.sagemath.org/ticket/22621#comment:3
https://trac.sagemath.org/ticket/22621#comment:3
<ul>
<li><strong>cc</strong>
<em>mjo</em> added
</li>
</ul>
<p>
<a class="closed ticket" href="https://trac.sagemath.org/ticket/12737" title="enhancement: Remove simplify_radical() from simplify_full() (closed: fixed)">#12737</a> is the main place this sort of thing was discussed, though there are many. Probably for positive is fine, but I'm no expert on this kind of thing.
</p>
Ticket