Skip to content

Implement OnePseudoInverseOfSemigroupElement for more types of elements #1062

Open

Description

@james-d-mitchell

It's not currently implemented for:

  • elements of Rees matrix semigroups;
  • elements of regular Rees 0-matrix semigroups over non-groups;
  • elements of free bands;
  • PBRs;
  • Matrices over semirings (other than finite fields);
  • there are probably more.

Also harmonise OnePseudoInverseOfSemigroupElement and OneInverseOfSemigroupElement by having a 1 argument version and a 2 argument version for them both (currently OnePseudoInverseOfSemigroupElement takes 1 argument, and OneInverseOfSemigroupElement always takes 2 arguments).

Activity

  1. james-d-mitchell commented on Oct 7, 2026

    @james-d-mitchell
    CollaboratorAuthor

    @iortas will be doing this

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