Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Improving DISPGB Algorithm Using the Discriminant Ideal   In 1992, V. Weispfenning proved the existence of Comprehensive Groebner Bases
(CGB) and gave an algorithm to compute one. That algorithm was not very
efficient and not canonical. Using his suggestions, A. Montes obtained in 2002
a more efficient algorithm (DISPGB) for Discussing Parametric Groebner Bases.
Inspired in its philosophy, V. Weispfenning defined, in 2002, how to obtain a
Canonical Comprehensive Groebner Basis (CCGB) for parametric polynomial ideals,
and provided a constructive method.
  In this paper we use Weispfenning's CCGB ideas to make substantial
improvements on Montes DISPGB algorithm. It now includes rewriting of the
discussion tree using the Discriminant Ideal and provides a compact and
effective discussion. We also describe the new algorithms in the DPGB library
containing the improved DISPGB as well as new routines to check whether a given
basis is a CGB or not, and to obtain a CGB. Examples and tests are also
provided.

14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
1
The categories of this paper are: cs
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
30
The categories of this paper are: q-alg
4
The categories of this paper are: cond-mat
3
The categories of this paper are: physics
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con