Home Online Manual
Top
Back: vec2poly
Forward: centralizeSet
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.5.3 central_lib

Library:
central.lib
Purpose:
Computation of central elements of GR-algebras

Author:
Oleksandr Motsak, U@D, where U={motsak}, D={mathematik.uni-kl.de}

Overview:
A library for computing elements of the center and centralizers of sets of elements in GR-algebras.

Procedures:

7.5.3.0. centralizeSet  v.s. basis of the centralizer of F within V
7.5.3.0. centralizerVS  v.s. basis of the centralizer of F
7.5.3.0. centralizerRed  reduced basis of the centralizer of F
7.5.3.0. centerVS  v.s. basis of the center
7.5.3.0. centerRed  reduced basis of the center
7.5.3.0. center  reduced basis of the center
7.5.3.0. centralizer  reduced bais of the centralizer of F
7.5.3.0. sa_reduce  's.a. reduction' of pairwise commuting elements
7.5.3.0. sa_poly_reduce  's.a. reduction' of p by pairwise commuting elements
7.5.3.0. inCenter  checks the centrality of list/ideal/poly T
7.5.3.0. inCentralizer  checks whether list/ideal/poly T commute with S
7.5.3.0. isCartan  checks whether polynomial p is a Cartan element
7.5.3.0. applyAdF  images of elements under the k-linear map Ad_f
7.5.3.0. linearMapKernel  kernel of a linear map given by images
7.5.3.0. linearCombinations  k-linear combinations of elements
7.5.3.0. variablesStandard  set of algebra generators in their natural order
7.5.3.0. variablesSorted  heuristically sorted set of algebra generators
7.5.3.0. PBW_eqDeg  PBW monomials of given degree
7.5.3.0. PBW_maxDeg  PBW monomials up to given degree
7.5.3.0. PBW_maxMonom  PBW monomials up to given maximal monomial