We describe the non–commutative extension of the computer algebra system
. In the system, we provide rich functionality for symbolic computation within a wide class of non–commutative algebras. We discuss the computational objects of
, the implementation of main algorithms, various aspects of software engineering and numerous applications.