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

method for small generating set #687

Closed
wants to merge 8 commits into from

Conversation

Peter-Ing
Copy link

…trong orientation and data strucutres

modified:   doc/semitrans.xml documentation for small gnereating set
modified:   gap/semigroups/semitrans.gi declared a new method for the small generating set function for singular closures of transformation and partial transformation monoids
modified:   tst/standard/semitrans.tst added test for each 4 cases of function

Peter-Ing added 2 commits July 6, 2020 12:34
…ong orientation and data strucutres

	modified:   doc/semitrans.xml documentation for small gnereating set
	modified:   gap/semigroups/semitrans.gi declared a new method for the small generating set function for singular closures of transformation and partial transformation monoids
	modified:   tst/standard/semitrans.tst added test for each 4 cases of function

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
…datastrucures is included
@james-d-mitchell james-d-mitchell added the new-feature A label for PRs that contain new features label Jul 7, 2020
Peter-Ing added 6 commits July 8, 2020 14:46
…ich were causing error and method shouldn't be defined for
…rage and add quick check to stop function running when unapicable
	modified:   doc/z-chap14.xml inserted label so documentation doesn't conflict
	modified:   gap/semigroups/semitrans.gi moved a bracket to make check valid
@james-d-mitchell
Copy link
Collaborator

james-d-mitchell commented Aug 5, 2022

I tried in 2022 to fix this PR up so that it could be merged, but basically gave up. I don't foresee having the time to do this in the near future, and it might be quicker to do it again from scratch since the original author is no longer available.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new-feature A label for PRs that contain new features
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants