The Gröbner walk method converts a Gröbner basis by partitioning the computation of the basis into several smaller computations following a path in the Gröbner fan of the ideal generated by the system of equations. The method works with ideals of zerodimension as well as positive dimension. Typicall
A New Algorithm for Discussing Gröbner Bases with Parameters
✍ Scribed by Antonio Montes
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 372 KB
- Volume
- 33
- Category
- Article
- ISSN
- 0747-7171
No coin nor oath required. For personal study only.
✦ Synopsis
Let F be a set of polynomials in the variables x = x 1 , . . . , xn with coefficients in R[a], where R is a UFD and a = a 1 , . . . , am a set of parameters. In this paper we present a new algorithm for discussing Gröbner bases with parameters. The algorithm obtains all the cases over the parameters leading to different reduced Gröbner basis, when the parameters in F are substituted in an extension field K of R. This new algorithm improves Weispfenning's comprehensive Gröbner basis CGB algorithm, obtaining a reduced complete set of compatible and disjoint cases. A final improvement determines the minimal singular variety outside of which the Gröbner basis of the generic case specializes properly. These constructive methods provide a very satisfactory discussion and rich geometrical interpretation in the applications.
📜 SIMILAR VOLUMES
A new computational algorithm for the estimation of parameters in ordinary differential equations from noisy data is presented. The algorithm is computationally faster than quasilinearization because of the reduction of the number of ordinary differential equations that must be solved a t each itera
In this paper we propose to compute the maximal degree of the inverse of a cubic automorphism of the affine plane with Jacobian 1 via Gröbner Bases. This degree is equal to 9 and we give coefficients of the inverse.
A genetic algorithm with an adapti¨e chromosome structure is proposed to reconstruct the electrical parameters of a multilayered radome of finite size. In order to a¨oid the complicated scattering from the edges of the radome, a Gaussian beam is used to illuminate the central area of the radome surf
## This article presents a new heuristic algorithm called DDBMA (Dynamic Delay Bounded Multicast Algorithm) to construct a minimum-cost multicast tree. The heuristic depends on (1) bounded delay along paths from source nodes to each destination node; (2) minimum cost of the multicast tree; (3) dyn