Constructive Non-commutative Algebra with Computer Algebra System Singular: Plural
Sprache des Vortragstitels:
Englisch
Original Kurzfassung:
We describe the origins, the domain of applicability and the functionality of a subsystem PLURAL of the computer algebra system SINGULAR, devoted to the noncommutative computations. We show, how main computational objects (GRalgebras) arise and which properties (e.g. ring-theoretic) they possess. A very important role in the system is played by the fast implementation of noncommutative Groebner bases together with many important applications of them. Several illustrative examples will be computed live