Comprehensive Gröbner bases for parametric polynomial ideals were introduced, constructed, and studied by the author in 1992. Since then the construction has been implemented in the computer algebra systems aldes/sac-2, mas, reduce and maple. A comprehensive Gröbner basis is a finite subset G of a parametric polynomial ideal I such that σ(G) constitutes a Gröbner basis of the ideal generated by σ(I) under all specializations σ of the parameters in arbitrary fields. Thos concept has found numerous...

Given a system of polynomial equations and inequations with coefficients in the field of rational numbers, we show how to compute a geometric resolution of the set of common roots of the system over the field of complex numbers. A geometric resolution consists of a primitive element of the algebraic extension defined by the set of roots, its minimal polynomial and the parametrizations of the coordinates. Such a representation of the solutions has a long history which goes back to Leopold Kronecker and has been revisited many times in computer algebra. We introduce a new generation of probabilistic algorithms where all the computations use only univariate or bivariate polynomials. We give a new codification of the set of solutions of a positive dimensional algebraic variety relying on a new global version of Newton’s iterator. Roughly speaking the complexity of our algorithm is polynomial in some kind of degree of the system, in its height, and linear in the complexity of evaluation

Abstract not found

In this paper, we present a new approach for computing normal forms in the quotient algebra A of a polynomial ring R by an ideal I. It is based on a criterion, which gives a necessary and sufficient condition for a projection onto a set of polynomials, to be a normal form modulo the ideal I. This criterion does not require any monomial ordering and generalizes the Buchberger criterion of S-polynomials. It leads to a new algorithm for constructing the multiplicative structure of a zero-dimensional algebra. Described in terms of intrinsic operations on vector spaces in the ring of polynomials, this algorithm extends naturally to Laurent polynomials.

We describe the rif algorithm which uses a finite number of differentiations and algebraic operations to simplify analytic nonlinear systems of partial differential equations to what we call reduced involutive form. This form includes the integrability conditions of the system and satisfies a constant rank condition. The algorithm is useful for classifying initial value problems for determined pde systems and can yield dramatic simplifications of complex overdetermined nonlinear pde systems. Such overdetermined systems arise in analysis of physical pdes for reductions to odes using the Nonclassical Method, the search for exact solutions of Einstein's field equations and the determination of discrete symmetries of differential equations. Application of the algorithm to the associated nonlinear overdetermined system of 856 pdes arising when the Nonclassical Method is applied to a cubic nonlinear Schrodinger system yields new results. Our algorithm combines features of geometric involutiv...

In this paper we consider an algorithmic technique more general than that proposed by Zharkov and Blinkov for the involutive analysis of polynomial ideals. It is based on a new concept of involutive monomial division which is defined for a monomial set. Such a division provides for each monomial the self-consistent separation of the whole set of variables into two disjoint subsets. They are called multiplicative and non-multiplicative. Given an admissible ordering, this separation is applied to polynomials in terms of their leading monomials. As special cases of the separation we consider those introduced by Janet, Thomas and Pommaret for the purpose of algebraic analysis of partial differential equations. Given involutive division, we define an involutive reduction and an involutive normal form. Then we introduce, in terms of the latter, the concept of involutivity for polynomial systems. We prove that an involutive system is a special, generally redundant, form of a Gröbner basis. An algorithm for construction of involutive bases is proposed. It is shown that involutive divisions satisfying certain conditions, for example, those of Janet and Thomas, provide an algorithmic construction of an involutive basis for any polynomial ideal. Some optimization in computation of involutive bases is also analyzed. In particular, we incorporate Buchberger’s chain criterion to avoid unnecessary reductions. The implementation for Pommaret division has been done in Reduce.

Reach set computations are of fundamental importance in control theory. We consider the reach set problem for open-loop systems described by parametric inhomogeneous linear dierential systems and use real quanti er elimination methods to get exact and approximate solutions. For simple elementary functions we give an exact calculation of the cases where exact semialgebraic transcendental implicitization is possible. For the negative cases we provide approximate alternating using discrete point checking or safe estimations of reach sets and control parameter sets. The method employs a reduction of forward and backward reach set and control parameter set problem to the transcendental implicitization problem for the components of special solutions of simpler non-parametric systems. Numerous examples are computed using the redlog and qepcad packages.

Abstract not found

There are very close connections between the arithmetic of integer lattices, algebraic properties of the associated ideals, and the geometry and the combinatorics of corresponding polyhedra. In this paper we investigate the generating sets ("Gröbner bases") of integer lattices that correspond to the Gröbner bases of the associated binomial ideals. Extending results by Sturmfels & Thomas, we obtain a geometric characterization of the universal Gröbner basis in terms of the vertices and edges of the associated corner polyhedra. In the special case where the lattice has finite index, the corner polyhedra were studied by Gomory, and there is a close connection to the "group problem in integer programming." We present exponential lower and upper bounds for the maximal size of a reduced Grobner basis. The initial complex of (the ideal of) a lattice is shown to be dual to the boundary of a certain simple polyhedron.

In this paper the dioeerent algebraic varieties that can be generated from multiple view geometry with uncalibrated cameras have been investigated. The natural descriptor, Vn , to work with is the image of IP 3 in IP 2 \Theta IP 2 \Theta \Delta \Delta \Delta \Theta IP 2 under a corresponding product of projections, (A1 \Theta A2 \Theta : : : \Theta Am). Another descriptor, the variety Vb , is the one generated by all bilinear forms between pairs of views, which consists of all points in IP 2 \Theta IP 2 \Theta \Delta \Delta \Delta \Theta IP 2 where all bilinear forms vanish. Yet another descriptor, the variety V t , is the variety generated by all trilinear forms between triplets of views. It has been shown that when m = 3, Vb is a reducible variety with one component corresponding to V t and another corresponding to the trifocal plane. Furthermore, when m = 3, V t is generated by the three bilinearities and one trilinearity, when m = 4, V t is generated by the six bil...