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 predicatedLL(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%2F3540629505_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.68365 Green, 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 (16XX) 
1  Commutative algebra (13XX) 
1  Linear and multilinear algebra; matrix theory (15XX) 
1  Computer science (68XX) 