Skip to content

Implement twisted diagram monoids #1063

Open

Description

@flsmith

It would be good to natively support finite twisted diagrams, i.e. ones where multiplication of elements accounts for any floating loops.

Activity

  1. james-d-mitchell commented on Jun 16, 2025

    @james-d-mitchell
    Collaborator

    Are the elements pairs consisting of a bipartition and a non-negative integer, with multiplication given by multiplying the bipartitions and adding the number of floating components to something?

  2. flsmith commented on Jun 18, 2025

    @flsmith
    CollaboratorAuthor

    This is my understanding, with the proviso that in order to get finite semigroups you need to truncate at some point (which I think means multiplying to some 0 once the number of components gets too large).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    new-featureA label for PRs that contain new features

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions