Sage version of Example 5.8