  
  [1X5 [33X[0;0YService functions of the [5XCongruence[105X[101X[1X package[133X[101X
  
  
  [1X5.1 [33X[0;0YAdditional information displayed by [5XCongruence[105X[101X[1X algorithms[133X[101X
  
  [1X5.1-1 InfoCongruence[101X
  
  [33X[1;0Y[29X[2XInfoCongruence[102X [32X info class[133X
  
  [33X[0;0Y[10XInfoCongruence[110X  is  a special Info class for [5XCongruence[105X algorithms. It has 3
  levels: 0, 1 (default) and 2. To change the info level to [10Xk[110X, use the command
  [10XSetInfoLevel(InfoCongruence, k)[110X.[133X
  
  [33X[0;0YIn  the  example  below we use this mechanism to see more details during the
  Farey symbol construction for a congruence subgroup.[133X
  
