Opened 6 years ago

Last modified 6 years ago

#22621 new enhancement

Improve sqrt products simplification

Reported by: Ralf Stephan Owned by:
Priority: major Milestone: sage-7.6
Component: calculus Keywords:
Cc: Michael Orlitzky Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Ralf Stephan)

Let the argument be positive. I think the following should give sqrt(6), and 6*sqrt(2) respectively.

sage: (sqrt(2) * sqrt(3)).simplify_full()
sqrt(3)*sqrt(2)
sage: (sqrt(12) * sqrt(6)).simplify_full()
2*sqrt(6)*sqrt(3)

There is a Pynac ticket for this but we appreciate improvements of Maxima as well.

Change History (3)

comment:1 Changed 6 years ago by Karl-Dieter Crisman

Is this also going to simplify sqrt(-3)*sqrt(-2)==sqrt(6)? We've had this discussion before...

comment:2 in reply to:  1 Changed 6 years ago by Ralf Stephan

Description: modified (diff)

Replying to kcrisman:

Is this also going to simplify sqrt(-3)*sqrt(-2)==sqrt(6)? We've had this discussion before...

I don't remember but I hope it concluded that combining positive arguments is fine.

comment:3 Changed 6 years ago by Karl-Dieter Crisman

Cc: Michael Orlitzky added

#12737 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.

Note: See TracTickets for help on using tickets.