257 research outputs found
Predicting zero reductions in Gr\"obner basis computations
Since Buchberger's initial algorithm for computing Gr\"obner bases in 1965
many attempts have been taken to detect zero reductions in advance.
Buchberger's Product and Chain criteria may be known the most, especially in
the installaton of Gebauer and M\"oller. A relatively new approach are
signature-based criteria which were first used in Faug\`ere's F5 algorithm in
2002. For regular input sequences these criteria are known to compute no zero
reduction at all. In this paper we give a detailed discussion on zero
reductions and the corresponding syzygies. We explain how the different methods
to predict them compare to each other and show advantages and drawbacks in
theory and practice. With this a new insight into algebraic structures
underlying Gr\"obner bases and their computations might be achieved.Comment: 25 pages, 3 figure
A survey on signature-based Gr\"obner basis computations
This paper is a survey on the area of signature-based Gr\"obner basis
algorithms that was initiated by Faug\`ere's F5 algorithm in 2002. We explain
the general ideas behind the usage of signatures. We show how to classify the
various known variants by 3 different orderings. For this we give translations
between different notations and show that besides notations many approaches are
just the same. Moreover, we give a general description of how the idea of
signatures is quite natural when performing the reduction process using linear
algebra. This survey shall help to outline this field of active research.Comment: 53 pages, 8 figures, 11 table
CHAMP: A Cherednik Algebra Magma Package
We present a computer algebra package based on Magma for performing
computations in rational Cherednik algebras at arbitrary parameters and in
Verma modules for restricted rational Cherednik algebras. Part of this package
is a new general Las Vegas algorithm for computing the head and the
constituents of a module with simple head in characteristic zero which we
develop here theoretically. This algorithm is very successful when applied to
Verma modules for restricted rational Cherednik algebras and it allows us to
answer several questions posed by Gordon in some specific cases. We could
determine the decomposition matrices of the Verma modules, the graded G-module
structure of the simple modules, and the Calogero-Moser families of the generic
restricted rational Cherednik algebra for around half of the exceptional
complex reflection groups. In this way we could also confirm Martino's
conjecture for several exceptional complex reflection groups.Comment: Final version to appear in LMS J. Comput. Math. 41 pages, 3 ancillary
files. CHAMP is available at http://thielul.github.io/CHAMP/. All results are
listed explicitly in the ancillary PDF document (currently 935 pages). Please
check the website for further update
Fast Reduction of Bivariate Polynomials with Respect to Sufficiently Regular Gröbner Bases
International audienc
Modifying Faug\`ere's F5 Algorithm to ensure termination
The structure of the F5 algorithm to compute Gr\"obner bases makes it very
efficient. However, while it is believed to terminate for so-called regular
sequences, it is not clear whether it terminates for all inputs. This paper has
two major parts. In the first part, we describe in detail the difficulties
related to a proof of termination. In the second part, we explore three
variants that ensure termination. Two of these have appeared previously only in
dissertations, and ensure termination by checking for a Gr\"obner basis using
traditional criteria. The third variant, F5+, identifies a degree bound using a
distinction between "necessary" and "redundant" critical pairs that follows
from the analysis in the first part. Experimental evidence suggests this third
approach is the most efficient of the three.Comment: 19 pages, 1 tabl
- …