Singular

7.5.1 center_lib

Library:

center.lib

Purpose:

computation of central elements of G-algebras and their factor-algebras.

Author:

Oleksandr Motsak, motsak@mathematik.uni-kl.de.

Overview:

This is a library for computing the central elements and centralizers of elements in various noncommutative algebras. Implementation is based on algorithms, written in the frame of the diploma thesis by O. Motsak (advisor: Prof. S.A. Ovsienko, support: V. Levandovskyy), at Kyiv Taras Shevchenko University (Ukraine) with the title 'An algorithm for the computation of the center of noncommutative polynomial algebra'.

Support:

Forschungsschwerpunkt 'Mathematik und Praxis', University of Kaiserslautern

Procedures:

7.5.1.0. center		computes the generators of the center of a basering,
7.5.1.0. centralizer		computes the generators of the centralizer of f in a basering,
7.5.1.0. inCenter		checks the centrality of elements of list/ideal/poly l
7.5.1.0. inCentralizer		checks the commutativity wrt polynomial f of polynomials of list/ideal/poly l