  
  [1X2 [33X[0;0YInstalling and Loading the [5XInduceReduce[105X[101X[1X Package[133X[101X
  
  
  [1X2.1 [33X[0;0YInstalling the package[133X[101X
  
  [33X[0;0Y[5XInduceReduce[105X  does  not  use external binaries and, therefore, works without
  restrictions on the type of the operating system.[133X
  [33X[0;0YThere  are  two  ways of installing a [5XGAP[105X package. If you have permission to
  add  files  to  the  installation  of  [5XGAP[105X  on  your  system you may install
  [5XInduceReduce[105X  into  the  [11Xpkg[111X  subdirectory  of  the  [5XGAP[105X  installation tree.
  Otherwise  you  may  install  [5XInduceReduce[105X  in  a private [11Xpkg[111X directory (for
  details         see         Installing         a         [5XGAP[105X         Package
  ([7Xhttps://www.gap-system.org/Manuals/doc/ref/chap76.html#X82473E4B8756C6CD[107X)
  and                   [5XGAP[105X                  Root                  Directories
  ([7Xhttps://www.gap-system.org/Manuals/doc/ref/chap9.html#X7A4973627A5DB27D[107X) in
  the [5XGAP[105X Reference Manual).[133X
  
  
  [1X2.2 [33X[0;0YLoading the package[133X[101X
  
  [33X[0;0YOnce  you  have  installed the package as described in the previous section,
  you    can    load    it    in    a    [5XGAP[105X   session   using   the   command
  [10XLoadPackage("InduceReduce")[110X.[133X
  
