Groebner Basis Under Composition I
@article{Hong1998GroebnerBU, title={Groebner Basis Under Composition I}, author={Hoon Hong}, journal={J. Symb. Comput.}, year={1998}, volume={25}, pages={643-663} }
Composition is the operation of replacing variables in a polynomial with other polynomials. The main question of this paper is:When does composition commute with Groebner basis computation?We prove that this happens iff the composition is `compatible? with the term ordering and the nondivisibility. This has a natural application in the computation of Groebner bases of composed polynomials which often arises in real-life problems.
35 Citations
Groebner basis under composition II
- MathematicsISSAC '96
- 1996
It is proved that this happens i the composition is ‘compatible’ with the term ordering and the nondivisibility of Groebner basis computation.
The Gröbner h-bases under composition
- MathematicsInternational Conference on Information Science and Technology
- 2011
Polynomial composition is the operation of replacing variables in a polynomial with other polynomials. H.Hong has resolved following problem: when does polynomial composition commute with Gröbner…
The λ-Gröbner Bases Under Polynomial Composition
- MathematicsJ. Syst. Sci. Complex.
- 2007
Polynomial composition is the operation of replacing variables in a polynomial with other polynomials. λ-Gröbner basis is an especial Gröbner basis. The main problem in the paper is: when does…
NON-COMMUTATIVE GRÖBNER BASES UNDER COMPOSITION
- Mathematics
- 2001
Polynomial composition is the operation of replacing the variables in a polynomial with other polynomials. In this paper we give sufficient and necessary conditions on a set Θ of non-commutative…
FURTHER ON THE COMPOSITION OF SAGBI BASES
- Mathematics
- 2016
Composition is the operation of replacing variables in a polynomial by other polynomials. In this paper, we show that composition commutes with SAGBI basis computation (possibly under different…
SAGBI Bases Under Composition
- MathematicsJ. Symb. Comput.
- 2002
A sufficient and necessary condition is given to assure that the set F of composed polynomials is a SAGBI basis whenever F is.
Subresultants Under Composition
- MathematicsJ. Symb. Comput.
- 1997
The main contribution of the paper is to show that the subresultants ``almost'' commute with composition, which generalizes the well-known fact that the resultant is invariant under translation.
Multivariate Resultants Under Composition
- Mathematics
- 1996
Composition is an operation of replacing variables in a polynomial with other poly-nomials. The main question of this paper is: What happens to multivariate resultants under composition? We prove…
Reduced Gröbner Bases Under Composition
- MathematicsJ. Symb. Comput.
- 1998
A sufficient condition is provided to determine when composition commutes with reduced Grobner bases computation (possibly) under different term ordering.
References
SHOWING 1-10 OF 23 REFERENCES
Groebner basis under composition II
- MathematicsISSAC '96
- 1996
It is proved that this happens i the composition is ‘compatible’ with the term ordering and the nondivisibility of Groebner basis computation.
Subresultants Under Composition
- MathematicsJ. Symb. Comput.
- 1997
The main contribution of the paper is to show that the subresultants ``almost'' commute with composition, which generalizes the well-known fact that the resultant is invariant under translation.
Multivariate Resultants Under Composition
- Mathematics
- 1996
Composition is an operation of replacing variables in a polynomial with other poly-nomials. The main question of this paper is: What happens to multivariate resultants under composition? We prove…
Gröbner bases - a computational approach to commutative algebra
- MathematicsGraduate texts in mathematics
- 1993
This chapter discusses linear algebra in Residue Class Rings in Vector Spaces and Modules, and first applications of Gr bner Bases.
Functional Decomposition of Polynomials: The Tame Case
- Mathematics, Computer ScienceJ. Symb. Comput.
- 1990
Fast computations in the lattice of polynomial rational function fields
- MathematicsISSAC '96
- 1996
A fast algorithm for computing a generator of k (p, q), wlhich is similar to the Euclidean algorithm, and also an extended version, that expresses this generator in terms of p and q are given.
Admissible orders and linear forms
- MathematicsSIGS
- 1987
From now on an "admissible order" will be a linear group order on [EQUATION] with [EquATION] >= 0.