Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6861264 | Journal of Symbolic Computation | 2013 | 14 Pages |
Abstract
In this work we develop a framework to decrease the time complexity of well-known algorithms to compute the generator sets of a semigroup ideal by using the Hermite normal form. We introduce idea of decomposable semigroups, which fulfills that the computation of its ideal can be achieved by separately calculating over smaller semigroups, products of the decomposition. Our approach does not only decrease the time complexity of the problem, but also allows using parallel computational techniques. A combinatorial characterization of these semigroups is obtained and the concept of decomposable variety is introduced. Finally, some applications and practical results are provided.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
J.I. GarcÃa-GarcÃa, M.A. Moreno-FrÃas, A. Vigneron-Tenorio,