# Computing in quantum groups

I'd be interested in doing some computations in quantum groups $U_q(\mathfrak g)$ that are conceptually simple (is this element 0"?, and $\mathfrak g = sl_5$), but are somewhat lengthy to do by hand. Is there software available that can do this? (I.e. take an element of the quantum group and reduce it to a PBW basis.) I've done some Googling and asked a couple people who I thought might know, but haven't found an answer. (In particular, the QuantumGroups package by Scott Morrison on KnotAtlas doesn't seem to do reductions to a PBW basis.)

• I can send you a partial Mathematica notebook that does PBW. – AHusain Apr 21 '16 at 19:36
• I am not sure, but I thought that Singular can do computations in quantum groups. – Peter Kravchuk Apr 22 '16 at 19:37