Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases (Q432750)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6053102
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases |
scientific article; zbMATH DE number 6053102 |
Statements
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases (English)
0 references
4 July 2012
0 references
The authors present a new fraction-free algorithm for the computation of a diagonal form of a matrix over a certain non-commutative Euclidean domain over a computable field with the help of Gröbner bases. They investigate Ore localizations of common operator algebras over \(K[x]\) and use them in the unimodularity analysis of transformation matrices \(U\) and \(V\). Their algorithm, which is implemented in the computer algebra system \texttt{SINGULAR:PLURAL} following the fraction-free strategy, shows impressive performance compared with methods which directly use fractions.
0 references
matrix normal form
0 references
matrix diagonalisation over rings
0 references
Ore localization
0 references
non-commutative Gröbner basis
0 references
decoupling of systems of functional equations
0 references
fraction-free algorithm
0 references
0 references
0 references
0 references
0.8851398825645447
0 references
0.7919527888298035
0 references
0.7701954245567322
0 references
0.7425254583358765
0 references
0.7384200096130371
0 references