Singular

7.7.16 nctools_lib

Library:

nctools.lib

Purpose:

General tools for noncommutative algebras

Authors:

Levandovskyy V., levandov@mathematik.uni-kl.de,
Lobillo, F.J., jlobillo@ugr.es,
Rabelo, C., crabelo@ugr.es,
Motsak, O., U@D, where U={motsak}, D={mathematik.uni-kl.de}

Overview:

Support: DFG (Deutsche Forschungsgesellschaft) and Metodos algebraicos y efectivos en grupos cuanticos, BFM2001-3141, MCYT, Jose Gomez-Torrecillas (Main researcher).

Procedures:

7.7.16.0. Gweights		compute weights for a compatible ordering in a G-algebra,
7.7.16.0. weightedRing		change the ordering of a ring to a weighted one,
7.7.16.0. ndcond		the ideal of non-degeneracy conditions in G-algebra,
7.7.16.0. Weyl		create Weyl algebra structure in a basering (two different realizations),
7.7.16.0. makeWeyl		return n-th Weyl algebra in (x(i),D(i)) presentation,
7.7.16.0. makeHeisenberg		return n-th Heisenberg algebra in (x(i),y(i),h) realization,
7.7.16.0. Exterior		return qring, the exterior algebra of a basering,
7.7.16.0. findimAlgebra		create finite dimensional algebra structure from the basering and the multiplication matrix M,
7.7.16.0. superCommutative		return qring, a super-commutative algebra over a basering,
7.7.16.0. rightStd		compute right Groebner basis of an ideal,
7.7.16.0. rightNF		compute right normal form wrt a submodule,
7.7.16.0. rightModulo		compute kernel of a homomorphism of right modules,
7.7.16.0. moduloSlim		compute modulo command via slimgb
7.7.16.0. ncRelations		recover the non-commutative relations of a G-algebra,
7.7.16.0. isCentral		check for the commutativity of a polynomial in the G-algebra,
7.7.16.0. isNC		check whether basering is noncommutative,
7.7.16.0. isCommutative		check whether basering is commutative
7.7.16.0. isWeyl		check whether basering is a Weyl algebra
7.7.16.0. UpOneMatrix		return NxN matrix with 1's in the whole upper triagle,
7.7.16.0. AltVarStart		return first alternating variable of a super-commutative algebra,
7.7.16.0. AltVarEnd		return last alternating variable of a super-commutative algebra,
7.7.16.0. IsSCA		check whether current ring is a super-commutative algebra,
7.7.16.0. makeModElimRing		equip a ring with module elimination ordering,
7.7.16.0. embedMat		embeds matrix M in a left upper corner of m times n matrix