Abstract:According to S.~Krsti\'c, there are only four quadratic varieties which are closed under isotopy. We give a simple procedure generating quadratic identities and deciding which of the four varieties they define. There are about 37000 such identities with up to five variables.
Keywords: quasigroup; $3$-sorted quasigroup; homotopy; isotopy; quadratic identity; gemini identity; coherent identity; variety closed under isotopy (homotopy)
DOI: DOI 10.14712/1213-7243.2015.179
AMS Subject Classification: 20M05 08B99 08A68 03C40