Opened 3 years ago

Last modified 3 years ago

#22621 new enhancement

Improve sqrt products simplification

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

Description (last modified by rws)

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 follow-up: Changed 3 years ago by kcrisman

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 3 years ago by rws

  • 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 3 years ago by kcrisman

  • Cc mjo 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.