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

Example breaking InversesOfSemigroupElement #330

Closed
ChristopherRussell opened this issue Jun 14, 2017 · 0 comments
Closed

Example breaking InversesOfSemigroupElement #330

ChristopherRussell opened this issue Jun 14, 2017 · 0 comments
Labels
bug Label for issues or PR which report or fix bugs

Comments

@ChristopherRussell
Copy link
Collaborator

ChristopherRussell commented Jun 14, 2017

gap> S := Monoid( [ Transformation( [ 1, 2, 4, 4 ] ), Transformation( [ 4, 2, 3, 4 ] ),
>   Transformation( [ 1, 4, 3, 4 ] ) ] );;
gap> IsEUnitaryInverseSemigroup(S);
Error, List Element: <list>[1] must have an assigned value in
  y := InversesOfSemigroupElement( S, x )[1]; at /Users/crussell/gap/lib/semipperm.gi:339 called from
func( C[i] ) at /Users/crussell/gap/lib/coll.gi:746 called from
List( GeneratorsOfSemigroup( S ), iso ) at /Users/crussell/gap/lib/semipperm.gi:344 called from
IsomorphismPartialPermSemigroup( S
 ) at /Users/crussell/gap/pkg/semigroups/gap/semigroups/semigrp.gi:1281 called from
AsSemigroup( IsPartialPermSemigroup, S
 ) at /Users/crussell/gap/pkg/semigroups/gap/attributes/properties.gi:343 called from
<compiled or corrupted statement>  called from
...  at *stdin*:27
you can 'return;' after assigning a value
@mtorpey mtorpey added the bug Label for issues or PR which report or fix bugs label Jun 14, 2017
@james-d-mitchell james-d-mitchell changed the title Example breaking IsEUnitaryInverseSemigroup Example breaking InversesOfSemigroupElement Jun 14, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Label for issues or PR which report or fix bugs
Projects
None yet
Development

No branches or pull requests

3 participants