`PartialTransMonoid( `

`n` )

`PartialTransMonoid`

returns the monoid of partial transformations of
degree `n`.

gap> M:= PartialTransMonoid( 8 ); Monoid( [ Transformation( [ 2, 1, 3, 4, 5, 6, 7, 8, 9 ] ), Transformation( [ 8, 1, 2, 3, 4, 5, 6, 7, 9 ] ), Transformation( [ 9, 2, 3, 4, 5, 6, 7, 8, 9 ] ), Transformation( [ 2, 2, 3, 4, 5, 6, 7, 8, 9 ] ) ] ) gap> Size( M ); 1000000000A