  
  
                                 [1X DeepThought [101X
  
  
    [1X This package provides functions for computations in finitely generated
             nilpotent groups based on the Deep Thought algorithm. [101X
  
  
                                     1.0.2
  
  
                               13 September 2018
  
  
                                  Nina Wagner
  
                                    Max Horn
  
  
  
  Nina Wagner
      Email:    [7Xmailto:nina.wagner@math.uni-giessen.de[107X
      Address:  [33X[0;14YAG Algebra[133X
                [33X[0;14YMathematisches Institut[133X
                [33X[0;14YJustus-Liebig-Universität Gießen[133X
                [33X[0;14YArndtstraße 2[133X
                [33X[0;14Y35392 Gießen[133X
                [33X[0;14YGermany[133X
  
  
  Max Horn
      Email:    [7Xmailto:max.horn@math.uni-giessen.de[107X
      Homepage: [7Xhttp://www.quendi.de/math[107X
      Address:  [33X[0;14YAG Algebra[133X
                [33X[0;14YMathematisches Institut[133X
                [33X[0;14YJustus-Liebig-Universität Gießen[133X
                [33X[0;14YArndtstraße 2[133X
                [33X[0;14Y35392 Gießen[133X
                [33X[0;14YGermany[133X
  
  
  
  -------------------------------------------------------
  
  
  [1XContents (DeepThought)[101X
  
  1 [33X[0;0YThe Deep Thought algorithm[133X
    1.1 [33X[0;0YCategory DTObj[133X
  2 [33X[0;0YUsing Deep Thought functions[133X
    2.1 [33X[0;0YComputing Deep Thought polynomials[133X
      2.1-1 DTP_DTapplicability
      2.1-2 DTP_DTObjFromCollector
    2.2 [33X[0;0YComputations with Deep Thought polynomials[133X
      2.2-1 DTP_Exp
      2.2-2 DTP_Inverse
      2.2-3 DTP_IsInNormalForm
      2.2-4 DTP_Multiply
      2.2-5 DTP_Multiply_r
      2.2-6 DTP_Multiply_rs
      2.2-7 DTP_NormalForm
      2.2-8 DTP_Order
      2.2-9 DTP_SolveEquation
    2.3 [33X[0;0YComputations with pcp-elements[133X
      2.3-1 DTP_PCP_Exp
      2.3-2 DTP_PCP_Inverse
      2.3-3 DTP_PCP_NormalForm
      2.3-4 DTP_PCP_Order
      2.3-5 DTP_PCP_SolveEquation
    2.4 [33X[0;0YAccessing Deep Thought polynomials[133X
      2.4-1 DTP_Display_DTObj
      2.4-2 DTP_pols2GAPpols
  
  
  [32X
