service.xml

<Chapter Label="Service">
<Heading>Service functions of the &Congruence; package</Heading>

<Section Label="CongruenceInfoClass">
<Heading>Additional information displayed by &Congruence; algorithms</Heading>

<ManSection>
  <InfoClass Name="InfoCongruence"
             Comm="Info class for Congruence algorithms" />
  <Description>
    <C>InfoCongruence</C> is a special Info class for &Congruence; algorithms. 
    It has 3 levels: 0, 1 (default) and 2. To change the info level to <C>k</C>, 
    use the command <C>SetInfoLevel(InfoCongruence, k)</C>. <P/>
          
    In the example below we use this mechanism to see more details during 
    the Farey symbol construction for a congruence subgroup.
  </Description>
</ManSection>

<!-- TODO: ADD EXAMPLE -->

</Section>

</Chapter>