\chapcontents {1}{Introduction}{5}
\seccontents {1.1}{Installation} {5}
\seccontents {1.2}{Documentation} {5}
\seccontents {1.3}{Test files} {5}
\seccontents {1.4}{Feedback} {5}
\chapcontents {2}{Mathematical background}{6}
\seccontents {2.1}{Quasigroups and loops} {6}
\seccontents {2.2}{Translations} {6}
\seccontents {2.3}{Homomorphisms and homotopisms} {6}
\chapcontents {3}{How the package works}{8}
\seccontents {3.1}{Representing quasigroups} {8}
\seccontents {3.2}{Conversions between magmas, quasigroups, loops and groups} {8}
\seccontents {3.3}{Calculating with quasigroups} {9}
\seccontents {3.4}{Naming, viewing and printing quasigroups and their elements} {9}
\chapcontents {4}{Basic methods and attributes}{11}
\seccontents {4.1}{About Cayley tables} {11}
\seccontents {4.2}{Testing Cayley tables} {11}
\seccontents {4.3}{Canonical and normalized Cayley tables} {11}
\seccontents {4.4}{Creating quasigroups and loops manually} {12}
\seccontents {4.5}{Creating quasigroups and loops from a file} {12}
\seccontents {4.6}{Conversions} {13}
\seccontents {4.7}{Products of loops} {13}
\seccontents {4.8}{Opposite quasigroups and loops} {13}
\seccontents {4.9}{Basic attributes} {14}
\seccontents {4.10}{Basic arithmetic operations} {14}
\seccontents {4.11}{Powers and inverses} {15}
\seccontents {4.12}{Associators and commutators} {15}
\seccontents {4.13}{Generators} {15}
\chapcontents {5}{Some methods based on permutation groups}{16}
\seccontents {5.1}{Parent of a quasigroup} {16}
\seccontents {5.2}{Comparing quasigroups with common parent} {16}
\seccontents {5.3}{Subquasigroups and subloops} {17}
\seccontents {5.4}{Translations and sections} {17}
\seccontents {5.5}{Multiplication groups} {18}
\seccontents {5.6}{Inner mapping groups} {18}
\seccontents {5.7}{Nuclei, commutant, center, and associator subloop} {18}
\seccontents {5.8}{Normal subloops} {19}
\seccontents {5.9}{Factor loops} {19}
\seccontents {5.10}{Nilpotency and central series} {19}
\seccontents {5.11}{Solvability} {20}
\seccontents {5.12}{Isomorphisms and automorphisms} {20}
\seccontents {5.13}{How are isomorphisms computed} {20}
\chapcontents {6}{Testing properties of quasigroups and loops}{21}
\seccontents {6.1}{Associativity, commutativity and generalizations} {21}
\seccontents {6.2}{Inverse properties} {21}
\seccontents {6.3}{Some properties of quasigroups} {22}
\seccontents {6.4}{Loops of Bol-Moufang type and related properties} {22}
\seccontents {6.5}{Conjugacy closed loops and related properties} {23}
\seccontents {6.6}{Additional varieties of loops} {24}
\chapcontents {7}{Specific methods}{25}
\seccontents {7.1}{Moufang modifications} {25}
\seccontents {7.2}{Triality for Moufang loops} {26}
\chapcontents {8}{Libraries of small loops}{27}
\seccontents {8.1}{A typical library} {27}
\seccontents {8.2}{Left Bol loops} {27}
\seccontents {8.3}{Small Moufang loops} {28}
\seccontents {8.4}{Steiner loops} {28}
\seccontents {8.5}{CC-loops} {29}
\seccontents {8.6}{Paige loops} {29}
\seccontents {8.7}{Interesting loops} {29}
\chapcontents {A}{Files}{30}
\chapcontents {B}{Filters built into the package}{31}
\chapcontents {}{Bibliography}{33}
\chapcontents {}{Index}{34}
