A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices

In this paper, a modular algorithm is given to compute the generalized Hermite normal form of matrices over Z[x], or equivalently, the reduced Gröbner basis of Z[x]-modules in Z[x]n. The main advantage of the algorithm is that the special structure of the Gröbner basis of ideals in Z[x] is taken int...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of symbolic computation Jg. 81; S. 97 - 118
Hauptverfasser: Jing, Rui-Juan, Yuan, Chun-Ming
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Ltd 01.07.2017
Schlagworte:
Generalized Hermite normal form
Hensel Lifting
Modular algorithm
Reduced Gröbner bases
Reduced Gröbner bases
Hensel Lifting
Generalized Hermite normal form
Modular algorithm
ISSN:0747-7171, 1095-855X
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper, a modular algorithm is given to compute the generalized Hermite normal form of matrices over Z[x], or equivalently, the reduced Gröbner basis of Z[x]-modules in Z[x]n. The main advantage of the algorithm is that the special structure of the Gröbner basis of ideals in Z[x] is taken into consideration. The algorithm is deterministic and seems to be the most efficient available algorithm for inputs with relatively low degrees.
ISSN:0747-7171
1095-855X
DOI:10.1016/j.jsc.2016.12.005