-
Notifications
You must be signed in to change notification settings - Fork 35
Pull requests: semigroups/Semigroups
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Better Nambooripad
performance
A label for issues or PRs that relate to performance.
#1026
opened Jul 31, 2024 by
Tianrun-Y
Loading…
Mitsch Order
new-feature
A label for PRs that contain new features
#1024
opened Jul 26, 2024 by
Tianrun-Y
Loading…
Better inverses
enhancement
A label for issues or PRs that offer an enhancement to existing functionality
performance
A label for issues or PRs that relate to performance.
#1021
opened Jul 2, 2024 by
Tianrun-Y
Loading…
Implement LeftSemigroupIdeal and RightSemigroupIdeal
new-feature
A label for PRs that contain new features
#1009
opened Mar 26, 2024 by
Jun2M
Loading…
Better dot
do not merge
Label for PR that should not be merged
#1007
opened Mar 13, 2024 by
james-d-mitchell
Loading…
acting: add A label for issues or PRs that offer an enhancement to existing functionality
WeakInverse
method for all types
enhancement
#936
opened Jun 26, 2023 by
james-d-mitchell
•
Draft
Add A label for PRs that contain new features
UniformRandomPartialPerm
new-feature
#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
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…
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!
What’s not been updated in a month: updated:<2024-07-19.