Top
Back: IntersectWithSub
Forward: Gweights
FastBack: ncdecomp_lib
FastForward: perron_lib
Up: Non-commutative libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: IntersectWithSub Forward: Gweights FastBack: ncdecomp_lib FastForward: perron_lib Up: Non-commutative libraries Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.