Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Better inverses #1021

Merged
merged 47 commits into from
Nov 8, 2024
Merged
Changes from 1 commit
Commits
Show all changes
47 commits
Select commit Hold shift + click to select a range
5065769
Stub
james-d-mitchell Jun 25, 2024
56b10cb
Add possibly better method for InversesOfSemigroupElementNC
james-d-mitchell Jun 28, 2024
e874b8f
delete Nambooripad Method for Transformation Semigroup
Tianrun-Y Jul 1, 2024
d42b687
change inverses to a set
Tianrun-Y Jul 2, 2024
073e25a
change filter into IsMultiplicativeElementWithOne as it is required f…
Tianrun-Y Jul 2, 2024
d8dd7e1
add the AsSet to the test rather than the method
Tianrun-Y Jul 2, 2024
f40c494
fix consecutive empty lines
Tianrun-Y Jul 3, 2024
a7ab1d3
fix RightGreensMultiplierNC does not work on fp semigroups where ther…
Tianrun-Y Jul 4, 2024
1f5b58f
fix comment
Tianrun-Y Jul 4, 2024
99c1fc6
add OneInverseOfSemigroupElement and fix small issues
Tianrun-Y Jul 4, 2024
b86b177
fix declaration and filter problem
Tianrun-Y Jul 26, 2024
1849da6
Update gap/attributes/attr.gi
Tianrun-Y Jul 29, 2024
377d20d
Update gap/attributes/attr.gi
Tianrun-Y Jul 29, 2024
793bd63
fix formatting for gaplint
Tianrun-Y Jul 29, 2024
91309d0
Merge branch 'better-inverses' of github.com:/Tianrun-Y/Semigroups in…
Tianrun-Y Jul 29, 2024
479991a
fix issue
Tianrun-Y Jul 29, 2024
b760696
Update gap/attributes/attr.gi
Tianrun-Y Jul 29, 2024
b7327f1
Update gap/attributes/attr.gi
Tianrun-Y Jul 29, 2024
c967c92
fix issue
Tianrun-Y Jul 30, 2024
ee7cef2
Update gap/attributes/attr.gi
Tianrun-Y Jul 30, 2024
fff144c
Merge branch 'main' into better-inverses
Tianrun-Y Jul 30, 2024
ece58f0
addnon-no-check version of OneInverse, and a NC version for cannot us…
Tianrun-Y Jul 30, 2024
81a7cd3
fix small issues in the previous commit
Tianrun-Y Jul 30, 2024
aefbad1
Update gap/attributes/attr.gi
Tianrun-Y Jul 30, 2024
abc2e85
add declaration of OneInverseOfSemigroupElement
Tianrun-Y Jul 30, 2024
7149d71
Merge branch 'better-inverses' of github.com:/Tianrun-Y/Semigroups in…
Tianrun-Y Jul 30, 2024
7b23dbb
add documentation of OneInverseOfSemigroupElement
Tianrun-Y Jul 30, 2024
c969b11
fix formatting for gaplint
Tianrun-Y Jul 31, 2024
7cccf7c
fix syntax error
Tianrun-Y Jul 31, 2024
80b17ec
add test for OneInverseOfSemigroupElement
Tianrun-Y Jul 31, 2024
60ed671
addMultiplicativeNeutralElement as a return
Tianrun-Y Jul 31, 2024
a695534
addMultiplicativeNeutralElement as a return for the other one
Tianrun-Y Jul 31, 2024
0367685
update documentation for LeftGreensMultiplier
Tianrun-Y Jul 31, 2024
554e0dd
fix filter problem
Tianrun-Y Jul 31, 2024
513712b
fix filter problem and also add test
Tianrun-Y Jul 31, 2024
82d81bd
fix test problems
Tianrun-Y Jul 31, 2024
428e039
fix gaplint
Tianrun-Y Jul 31, 2024
1707bf6
fix test
Tianrun-Y Jul 31, 2024
f276972
add example in documentation
Tianrun-Y Aug 1, 2024
29eab45
Update doc/attr.xml
Tianrun-Y Aug 7, 2024
3f93d05
if there is no inverse
Tianrun-Y Aug 7, 2024
6508fc6
merge
Tianrun-Y Aug 7, 2024
54e651a
delete merge remnants
Tianrun-Y Aug 7, 2024
bf02a27
add to chapter
Tianrun-Y Aug 7, 2024
2b441e0
fix small issue
Tianrun-Y Aug 7, 2024
7f989c0
fix example format
Tianrun-Y Aug 7, 2024
1914eb5
Merge branch 'main' into better-inverses
james-d-mitchell Nov 8, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Stub
  • Loading branch information
james-d-mitchell committed Jun 25, 2024
commit 5065769608d53da0c96761b66016213d969771c7
14 changes: 14 additions & 0 deletions gap/attributes/attr.gi
Original file line number Diff line number Diff line change
Expand Up @@ -1032,6 +1032,20 @@ function(S)
return out;
end);

InstallMethod(NambooripadPartialOrder, "for a transformation semigroup",
[IsTransformationSemigroup],
function(S)
local elts, p, func, out, i, j;

if not IsRegularSemigroup(S) then
ErrorNoReturn("the argument (a semigroup) is not regular");
elif IsInverseSemigroup(S) then
return NaturalPartialOrder(S);
fi;

# DO SOME MAGIC
end);

InstallMethod(NambooripadLeqRegularSemigroup, "for a semigroup",
[IsSemigroup],
function(S)
Expand Down