This program builds free nonassociative algebras that are defined by a set of nonassociative identities and generators.
Citation:
D.P. Jacobs, "The Albert Nonassociative Algebra System: A Progress Report", Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC-94), 41-44, Oxford, England (July, 1994).