monoid_algebra source