The LIESUPER package for REDUCE. liesuper.web: We will describe a REDUCE package for symbolic computations in (free) Lie (super)algebras. For this purpose we will introduce a new rtype liebracket, which satisfies the bilinearity and the (graded) skew-symmetry of the liebracket. Moreover, we will implement a mechanism to check the (graded) Jacobi identity and add sufficient bells and whistles to facilitate the usage of various kinds of gradings.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- van Leeuwen, Marc A.A.; Roelofs, Marcel: Termination for a class of algorithms for constructing algebras given by generators and relations (1997)
- Cohen, A.M.; de Graaf, W.A.: Lie algebraic computation (1996)