Implement LeftSemigroupIdeal and RightSemigroupIdeal #939

Activity

1. james-d-mitchell

   added

   new-featureA label for PRs that contain new featuresA label for PRs that contain new features

   on Aug 8, 2023
2. james-d-mitchell

   added this to VIP taskson Jan 10, 2024
3. james-d-mitchell

   moved this to Unassigned in VIP taskson Jan 10, 2024
4. Jun2M

   moved this from Unassigned to In Progress in VIP taskson Mar 15, 2024
5. Jun2M

   moved this from In Progress to Ready for review in VIP taskson Apr 3, 2024
6. james-d-mitchell

   moved this from Ready for review to In Progress in VIP taskson Jun 21, 2024
7. mtorpey commented on Feb 19, 2025

   

   mtorpey

   on Feb 19, 2025

   Collaborator

   More actions

   Jun did some good work on this, and @pramothragavan might look at continuing it.

   👍React with 👍1Reacted by Pramoth Ragavan
8. mtorpey

   moved this from In Progress to Unassigned in VIP taskson Feb 19, 2025
9. pramothragavan

   moved this from Unassigned to In Progress in VIP taskson Apr 7, 2025
10. mtorpey commented on Nov 5, 2025

    

    mtorpey

    on Nov 5, 2025

    Collaborator

    More actions

    @pramothragavan, did you get far with this? If not, I'll move it back to Unassigned.
11. pramothragavan commented on Nov 5, 2025

    

    pramothragavan

    on Nov 5, 2025

    Contributor

    More actions

    @mtorpey I don't think I ever got round to it! Maybe one to reassign

    👍React with 👍1Reacted by Michael Young
12. mtorpey

    moved this from In Progress to Unassigned in VIP taskson Nov 5, 2025