Sage version of Example 5.6

All in my quest to understand RHP zeros...