# Alternatives in Implementing Noncommutative Grobner Basis Systems

1996) Alternatives in Implementing Noncommutative Grobner Basis Systems. Technical Report ncstrl.vatech_cs//TR-96-07, Computer Science, Virginia Polytechnic Institute and State University. (

Full text available as: |

## Abstract

Alternatives in implementing systems for computing Grobner bases in path algebras (noncommutative polynomial rings) are considered and compared. Adapted forms of the standard variations to the Buchberger's algorithm (for commutative polynomial rings) are discussed, as is a pattern matching approach that finds the divisors and common multiples among the leading terms of a set of polynomials. Results from preliminary experimentation with a prototype system are used to compare the different configurations of two variations (triple elimination and basis reduction). Eight problem instances split between two classes of problems (one over free algebras, the other over mesh algebras) are used to compare the configurations. An informal analysis suggests that order plays a larger role in determining the execution time for a problem instance that the algorithm. However, by comparing configurations for each of the admissible orders, some observations can be made about the algorithms.

Item Type: | Departmental Technical Report |
---|---|

Subjects: | Computer Science > Historical Collection(Till Dec 2001) |

ID Code: | 446 |

Deposited By: | User autouser |

Deposited On: | 05 December 2001 |

Alternative Locations: | URL:ftp://ei.cs.vt.edu/pub/TechnicalReports/1996/TR-96-07.ps.gz, URL:http://historical.ncstrl.org/tr/ps/vatech_cs/TR-96-07.ps |