#############################################################################
##
#W  semiact.xml
#Y  Copyright (C) 2017                                      Michael Young
##
##  Licensing information can be found in the README file of this package.
##
#############################################################################
##

<#GAPDoc Label="IsActingSemigroup">
  <ManSection>
    <Filt Name = "IsActingSemigroup" Arg = "obj" Type="Category"/>
    <Returns><K>true</K> or <K>false</K>.</Returns>
    <Description>
      Every acting semigroup, as defined in Section
      <Ref Subsect="Acting semigroups"/>, belongs to this category.

      <Example><![CDATA[
gap> S := Semigroup(Transformation([1, 3, 2]));;
gap> IsActingSemigroup(S);
true
gap> CanUseFroidurePin(S);
true
gap> S := FreeSemigroup(3);;
gap> IsActingSemigroup(S);
false]]></Example>
    </Description>
  </ManSection>
<#/GAPDoc>
