A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
Journal of Symbolic Computation
Algorithmic properties of polynomial rings
Journal of Symbolic Computation
On the theories of triangular sets
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
Triangular sets for solving polynomial systems: a comparative implementation of four methods
Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
Computing triangular systems and regular systems
Journal of Symbolic Computation
Polynomial Gcd Computations over Towers of Algebraic Extensions
AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Rational simplification modulo a polynomial ideal
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Notes on triangular sets and triangulation-decomposition algorithms I: polynomial systems
SNSC'01 Proceedings of the 2nd international conference on Symbolic and numerical scientific computation
Comprehensive triangular decomposition
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Hi-index | 0.00 |
Given a regular chain T, we aim at finding an efficient way for computing a system of generators of sat(T), the saturated ideal of T. A natural idea is to test whether the equality =sat(T) holds, that is, whether T generates its saturated ideal. By generalizing the notion of primitivity from univariate polynomials to regular chains, we establish a necessary and sufficient condition, together with a Grobner basis free algorithm, for testing this equality. Our experimental results illustrate the efficiency of this approach in practice.