Consider a zero-dimensional ideal I in K [X 1,…, X n]. Inspired by Faugère and Mou's Sparse FGLM algorithm, we use Krylov sequences based on multiplication matrices of I in order to …
JC Faugère, C Mou - Journal of Symbolic Computation, 2017 - Elsevier
Given a zero-dimensional ideal I⊂ K [x 1,…, xn] of degree D, the transformation of the ordering of its Gröbner basis from DRL to LEX is a key step in polynomial system solving …
C Monico - Journal of Symbolic Computation, 2002 - Elsevier
Let K be an infinite perfect computable field and let I⊆ K [x] be a zero-dimensional ideal represented by a Gröbner basis. We derive a new algorithm for computing the reduced …
Our goal is to present an algorithm for computing a primary decomposition of a zero- dimensional ideal. We compute the decomposition of the radical ideal of the zero …
BH Roune - Proceedings of the 2010 International Symposium on …, 2010 - dl.acm.org
We present an algorithm for computing the corners of a monomial ideal. The corners are a set of multidegrees that support the numerical information of a monomial ideal such as Betti …
S Gao, M Zhu - arXiv preprint arXiv:0811.3425, 2008 - arxiv.org
The paper presents two algorithms for finding irreducible decomposition of monomial ideals. The first one is recursive, derived from staircase structures of monomial ideals. This …
J Berthomieu, R Mohr - … of the 2024 International Symposium on …, 2024 - dl.acm.org
We describe a version of the FGLM algorithm that can be used to compute generic fibers of positive-dimensional polynomial ideals. It combines the FGLM algorithm with a Hensel lifting …
G Moroz - Asian Symposium on Computer Mathematics, 2007 - Springer
We introduce the notion of regular decomposition of an ideal and present a first algorithm to compute it. Designed to avoid generic perturbations and eliminations of variables, our …
T Mora - Journal of Algebra and its Applications, 2018 - World Scientific
We present a linear algebra algorithm, which, given a zero-dimensional ideal via a “good” representation, produces a separating linear form, its radical, again given via the same …