Talk:CoCoALib PPMonoid