Opal swMATH ID: 21958 Software Authors: Green, Edward L.; Heath, Lenwood S.; Keller, Benjamin J. Description: Opal: a system for computing noncommutative Gröbner bases. Opal is an interactive system for computing Gröbner bases in noncommutative algebras presented as path algebras. The primary purpose of the system is to support algebraic research, but the system is also instrumented for experimentation with different admissible orders and algorithmic variations. Opal is written in C++ and uses both the Gnu C++ library (libg++) and the LiDIA library as well as code generated by Flex and the Purdue Compiler Construction Tool Set (PCCTS) [T. J. Parr and R. W. Quong, “ANTLR: a predicated-LL(k) parser generator”, Softw., Pract. Exper. 25, No. 7, 789–810 (1995; doi:10.1002/spe.4380250705)]. We give a brief description of Opal. We begin by defining path algebras and giving their relationship to other algebras. Then the functions of Opal and its interface are described, followed by a brief discussion of the implementation and module structure. Finally, planned extensions to the sytem and the interface are presented. Homepage: https://link.springer.com/chapter/10.1007%2F3-540-62950-5_83 Related Software: NCGB; PCCTS; ANTLR; LiDIA; Letterplace; ANICK; GBNP; BERGMAN; Felix; Magma; SINGULAR; Plural; NCAlgebra; Mathematica Cited in: 3 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Opal: a system for computing noncommutative Gröbner bases. Zbl 1379.68365Green, Edward L.; Heath, Lenwood S.; Keller, Benjamin J. 1997 all top 5 Cited by 6 Authors 1 Dell Kronewitter, F. 1 Green, Edward Lee 1 Heath, Lenwood S. 1 Keller, Benjamin J. 1 La Scala, Roberto 1 Levandovskyy, Viktor Cited in 2 Serials 1 Journal of Symbolic Computation 1 Linear Algebra and its Applications Cited in 4 Fields 2 Associative rings and algebras (16-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Computer science (68-XX) Citations by Year