Skip to content

Pull requests: semigroups/Semigroups

New pull request New
11 Open 650 Closed
11 Open 650 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add sandwich semigroup new-feature A label for PRs that contain new features
#1042 opened Oct 18, 2024 by MTWhyte • Draft
Mitsch Order new-feature A label for PRs that contain new features
#1024 opened Jul 26, 2024 by Tianrun-Y Loading…
14
Libsemigroups v3
#1010 opened Apr 9, 2024 by james-d-mitchell Loading…
Implement LeftSemigroupIdeal and RightSemigroupIdeal new-feature A label for PRs that contain new features
#1009 opened Mar 26, 2024 by Jun2M Loading…
5
Better dot do not merge Label for PR that should not be merged
#1007 opened Mar 13, 2024 by james-d-mitchell Loading…
2
acting: add WeakInverse method for all types enhancement A label for issues or PRs that offer an enhancement to existing functionality
#936 opened Jun 26, 2023 by james-d-mitchell • Draft
Add UniformRandomPartialPerm new-feature A label for PRs that contain new features
#935 opened Jun 25, 2023 by james-d-mitchell • Draft
Implement IsCryptoGroup new-feature A label for PRs that contain new features
#732 opened Jan 13, 2021 by Yann-Peresse • Draft
Decomposition of some Completely Regular Semigroups into Strong Semilattices of Semigroups
#731 opened Jan 13, 2021 by tomcontileslie Loading…
1 of 4 tasks
5
Add ToddCoxeterBand method do not merge Label for PR that should not be merged WIP Label for PRs that are Works In Progress (WIP)
#691 opened Jul 9, 2020 by tomcontileslie Loading…
1
Free band elements by graph representation do not merge Label for PR that should not be merged enhancement A label for issues or PRs that offer an enhancement to existing functionality WIP Label for PRs that are Works In Progress (WIP)
#689 opened Jul 7, 2020 by reiniscirpons Loading…
12 of 25 tasks
ProTip! Follow long discussions with comments:>50.