Example 2.33 (Square-Root Branches)

Investigating branches of the square-root function.
Requirements: ore_algebra package

An investigation for the reader!