Haskell for Maths

Last time we looked at the descending tree morphism between the combinatorial Hopf algebras SSym and YSym with fundamental bases consist...

In the last few posts, we've been looking at combinatorial Hopf algebras, specifically: - SSym , a Hopf algebra with a basis of (index...

The compositions of a number n are the different ways that it can be expressed as an ordered sum of positive integers. For example, the com...

Last time we looked at YSym, the (dual of the) Loday-Ronco Hopf algebra of binary trees. This time I want to look at SSym, the Malvenuto-R...

Last time we looked at the definition of Hopf algebras, using the group algebra as a motivating example. This time I want to look at YSym,...

A while ago I looked at the concepts of an algebra and a coalgebra , and showed how to represent them in Haskell. I was intending to carry...

Here's an interesting example of an algebra . Given a group, form the free vector space on the elements of the group. For example, if...