New! September, 2008. I have updated the code to compile under the latest gcc compiler found on most Unix and Linux computers.
CLICK HERE to obtain the program.
Some other related papers:
Rings with (a,b,c) = (a,c,b) and (a,[b,c],d) = 0: A Case Study Using Albert, I. Hentzel, D. Jacobs, and E. Kleinfeld, 1993.
The Albert Nonassociative Algebra System: A Progress Report, D.P. Jacobs, 1994.
A Condition Guaranteeing Commutativity, I.R. Hentzel and D. Pokrass Jacobs, 1992.
Experimenting with the Identity (xy)z = y(zx), I.R. Hentzel, D.P. Jacobs, S.V. Muddana, 1993.
A Computer Algebra System for Nonassociative Identities, D.P. Jacobs, S.V. Muddana, A.J. Offutt, 1990