Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
An Implementation in C of an Algorithm for Construction of Finitely Presented Lie Superalgebrasz
Authors: V. Gerdt, V.Kornyak
– 0.18 Mb
Abstract
The purpose of this paper is to describe a C program FPLSA for investigating finitely presented Lie algebras and superalgebras. The program takes as input data a finite set of generators and relations for these elements. The relations have the form of Lie polynomials with coefficients being either integers or polynomials over integers in a given finite set of parameters. The program is based on an algorithm of constructing complete set of relations called also standard basis or Grobner basis of ideal of free Lie (super)algebra generated by the input set of relations. The output data of the program are the Grobner basis, the explicit form of basis elements for the quotient algebra of the free (super)algebra with respect to given ideal and also the table of their commutators.V.P.Gerdt, V.V.Kornyak,
Laboratory of Computing Techniques and Automation
Joint Institute for Nuclear Research
141980 Dubna, RUSSIA
Laboratory of Computing Techniques and Automation
Joint Institute for Nuclear Research
141980 Dubna, RUSSIA
Fulltext
Contents
- Some Features of CoCoA 3
- Algorithms in Singular
- Replicable functions: a computational approach
- Rewrite Rules and Simplification of Matrix Expressions
- An Implementation in C of an Algorithm for Construction of Finitely Presented Lie Superalgebrasz
- Constructing the Grobner basis using Anick's resolution in the noncommutative algebras