Example 2.9 (Rooted 3-Ary Trees)

Some computational experiments with the generating function for rooted 3-ary trees.
Requirements: ore_algebra package
Note: See the Maple worksheet corresponding to this example for a better treatment of algebraic functions

As noted in Example 2.8 on binary trees, there is no good built-in method to compute series solutions to bivariate algebraic equations. The Maple gfun package of Salvy and Zimmerman has better support for solving algebraic equations. In Sage the best workaround is to use the fact that any algebraic function is D-finite, and use the ore_algebra package which can compute with D-finite functions.