\contentsline {chapter}{\numberline {1}\textcolor {Chapter }{Introduction}}{4}{chapter.1}%
\contentsline {section}{\numberline {1.1}\textcolor {Chapter }{Preliminaries}}{4}{section.1.1}%
\contentsline {section}{\numberline {1.2}\textcolor {Chapter }{The free Lie ring }}{5}{section.1.2}%
\contentsline {section}{\numberline {1.3}\textcolor {Chapter }{The Lazard correspondence }}{5}{section.1.3}%
\contentsline {chapter}{\numberline {2}\textcolor {Chapter }{The functions}}{6}{chapter.2}%
\contentsline {section}{\numberline {2.1}\textcolor {Chapter }{The free Lie ring}}{6}{section.2.1}%
\contentsline {subsection}{\numberline {2.1.1}\textcolor {Chapter }{FreeLieRing}}{6}{subsection.2.1.1}%
\contentsline {subsection}{\numberline {2.1.2}\textcolor {Chapter }{Degree}}{6}{subsection.2.1.2}%
\contentsline {section}{\numberline {2.2}\textcolor {Chapter }{ Creating Lie rings }}{7}{section.2.2}%
\contentsline {subsection}{\numberline {2.2.1}\textcolor {Chapter }{IsLieRing}}{7}{subsection.2.2.1}%
\contentsline {subsection}{\numberline {2.2.2}\textcolor {Chapter }{LieRingByStructureConstants}}{7}{subsection.2.2.2}%
\contentsline {subsection}{\numberline {2.2.3}\textcolor {Chapter }{FpLieRing}}{7}{subsection.2.2.3}%
\contentsline {subsection}{\numberline {2.2.4}\textcolor {Chapter }{FpLieAlgebra}}{8}{subsection.2.2.4}%
\contentsline {section}{\numberline {2.3}\textcolor {Chapter }{ Working with Lie rings }}{8}{section.2.3}%
\contentsline {subsection}{\numberline {2.3.1}\textcolor {Chapter }{Basis}}{8}{subsection.2.3.1}%
\contentsline {subsection}{\numberline {2.3.2}\textcolor {Chapter }{StructureConstantsTable}}{9}{subsection.2.3.2}%
\contentsline {subsection}{\numberline {2.3.3}\textcolor {Chapter }{Torsion}}{9}{subsection.2.3.3}%
\contentsline {subsection}{\numberline {2.3.4}\textcolor {Chapter }{Coefficients}}{9}{subsection.2.3.4}%
\contentsline {subsection}{\numberline {2.3.5}\textcolor {Chapter }{SubLieRing}}{9}{subsection.2.3.5}%
\contentsline {subsection}{\numberline {2.3.6}\textcolor {Chapter }{LieRingIdeal}}{10}{subsection.2.3.6}%
\contentsline {subsection}{\numberline {2.3.7}\textcolor {Chapter }{NaturalHomomorphismByIdeal}}{10}{subsection.2.3.7}%
\contentsline {subsection}{\numberline {2.3.8}\textcolor {Chapter }{LieLowerCentralSeries}}{11}{subsection.2.3.8}%
\contentsline {subsection}{\numberline {2.3.9}\textcolor {Chapter }{LieLowerPCentralSeries}}{11}{subsection.2.3.9}%
\contentsline {subsection}{\numberline {2.3.10}\textcolor {Chapter }{LieCentre}}{11}{subsection.2.3.10}%
\contentsline {subsection}{\numberline {2.3.11}\textcolor {Chapter }{TensorWithField}}{12}{subsection.2.3.11}%
\contentsline {section}{\numberline {2.4}\textcolor {Chapter }{The Lazard correspondence}}{12}{section.2.4}%
\contentsline {subsection}{\numberline {2.4.1}\textcolor {Chapter }{PGroupToLieRing}}{12}{subsection.2.4.1}%
\contentsline {subsection}{\numberline {2.4.2}\textcolor {Chapter }{LieRingToPGroup}}{13}{subsection.2.4.2}%
\contentsline {section}{\numberline {2.5}\textcolor {Chapter }{The database of $n$-Engel Lie rings}}{14}{section.2.5}%
\contentsline {subsection}{\numberline {2.5.1}\textcolor {Chapter }{SmallNEngelLieRing}}{14}{subsection.2.5.1}%
\contentsline {chapter}{References}{15}{chapter*.4}%
\contentsline {chapter}{Index}{16}{section*.5}%
