Sage Days 20.5: Representation theory of finite monoids demo Nicolas M. Thiéry <nthiery at users.sf.net> demo-GAP3-Semigroupe demo-monoids-jtrivial demo-monoids-character_rings