Sage version of Example 5.6