\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Introduction}{4}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Installation}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1.1}Brief description of \texttt  {LOOPS}\ files}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Documentation}{4}}
\citation{Br}
\citation{Pf}
\@writefile{lot}{\contentsline {table}{\numberline {1.1}{\ignorespaces Brief description of files forming \texttt  {LOOPS}.}}{5}}
\newlabel{Tb:Files}{{1.1}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Test files}{5}}
\@writefile{toc}{\contentsline {section}{\numberline {1.4}Mathematical background}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4.1}Quasigroups and loops}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4.2}Translations}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4.3}Homomorphisms and homotopisms}{6}}
\newlabel{Ss:HH}{{1.4.3}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {1.5}How the package works}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5.1}Representing quasigroups in \texttt  {LOOPS}}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5.2}Calculating with quasigroups in \texttt  {LOOPS}}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.5.3}Magmas, quasigroups, loops and groups in \texttt  {GAP}}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {1.6}Feedback}{8}}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Core methods}{9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Ch:Core}{{2}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Naming, viewing and printing objects in \texttt  {LOOPS}}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}Named quasigroups and loops}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}View mode}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}Print mode}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Creating quasigroups and loops}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}Testing multiplication tables}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}Creating quasigroups and loops manually}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.3}Creating quasigroups and loops from a file}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.4}Conversions}{12}}
\newlabel{Ss:Conv}{{2.2.4}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.5}Products of loops}{13}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.6}Opposite quasigroups and loops}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}GAP categories}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Basic attributes}{13}}
\newlabel{Sc:BasicAttributes}{{2.4}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Basic arithmetic operations}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.1}Multiplication}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.2}Division}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.3}Powers and inverses}{15}}
\newlabel{Ss:Invs}{{2.5.3}{15}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.5.4}Associators and commutators}{15}}
\@writefile{toc}{\contentsline {section}{\numberline {2.6}Generators}{15}}
\@writefile{toc}{\contentsline {section}{\numberline {2.7}Permutations associated with loops}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7.1}Sections}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7.2}Multiplication groups}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.7.3}Inner mapping group}{16}}
\@writefile{toc}{\contentsline {section}{\numberline {2.8}Subquasigroups and subloops}{17}}
\newlabel{Sc:Subquasigroups}{{2.8}{17}}
\@writefile{toc}{\contentsline {section}{\numberline {2.9}Nucleus, commutant, center}{18}}
\@writefile{toc}{\contentsline {section}{\numberline {2.10}Testing properties}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10.1}Associativity, commutativity and generalizations}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10.2}Inverse properties}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10.3}Properties of quasigroups}{19}}
\citation{Fe}
\citation{PV}
\citation{PV}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10.4}Loops of Bol-Moufang type and related properties}{20}}
\newlabel{Ss:BM}{{2.10.4}{20}}
\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Varieties of loops of Bol-Moufang type.}}{20}}
\newlabel{Fg:L}{{2.1}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10.5}Conjugacy closed loops}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.10.6}Additional varieties of loops}{22}}
\@writefile{toc}{\contentsline {section}{\numberline {2.11}Normality}{22}}
\@writefile{toc}{\contentsline {section}{\numberline {2.12}Factor loop}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {2.13}Nilpotency}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {2.14}Solvability}{23}}
\@writefile{toc}{\contentsline {section}{\numberline {2.15}Filters built into \texttt  {LOOPS}}{24}}
\newlabel{Sc:Filters}{{2.15}{24}}
\citation{VoEJC}
\citation{DV}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Specific methods}{25}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Ch:Specific}{{3}{25}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Isomorphisms and automorphisms}{25}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Discriminator}{25}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Moufang modifications}{26}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}Cyclic modification}{26}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.2}Dihedral modification}{26}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.3}Loops $M(G,2)$}{26}}
\citation{NV}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Triality for Moufang loops}{27}}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Libraries of small loops}{28}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{Ch:Lib}{{4}{28}}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}A typical library}{28}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Left Bol loops}{28}}
\citation{Goodaire}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Small Moufang loops}{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3.1}Search for additional Moufang loops}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Steiner loops}{29}}
\citation{CR}
\citation{Li}
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Paige loops}{30}}
\@writefile{toc}{\contentsline {section}{\numberline {4.6}Interesting loops}{30}}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Plans for future versions}{31}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Alternative representations of quasigroups and loops in \texttt  {GAP}}{31}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Better support for quasigroups}{31}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}More homomorphisms and homotopisms}{31}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Expanded libraries}{31}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}Bits and pieces}{32}}
\bibstyle{plain}
\bibcite{Br}{{1}{1971}{{Bruck}}{{}}}
\bibcite{Ch}{{2}{1990}{{Chein}}{{}}}
\bibcite{CR}{{3}{1999}{{Colbourn and Rosa }}{{}}}
\bibcite{DV}{{4}{2004}{{Dr\'apal and Vojt\v {e}chovsk\'y}}{{}}}
\bibcite{Fe}{{5}{1969}{{Fenyves}}{{}}}
\bibcite{Goodaire}{{6}{1999}{{Goodaire, May and Raman}}{{}}}
\bibcite{Li}{{7}{1987}{{Liebeck}}{{}}}
\bibcite{NV}{{8}{2003}{{Nagy and Vojt\v {e}chovsk\'y}}{{}}}
\bibcite{Pf}{{9}{1990}{{Pflugfelder}}{{}}}
\bibcite{PV}{{10}{2004}{{Phillips and Vojt\v {e}chovsk\'y}}{{}}}
\bibcite{VoEJC}{{11}{2004}{{Vojt\v {e}chovsk\'y}}{{}}}
\@writefile{toc}{\contentsline {chapter}{Bibliography}{33}}
\@writefile{toc}{\contentsline {chapter}{Index}{34}}
