Symbolic Computation Group
David R. Cheriton School of Computer Science


Friday, March, 8, 2013, at University of Western Ontario Recent advances on the theory of regular chains Changbo Chen, University of Western Ontario Abstract: In this talk, two recent advances on the theory of regular chains will be discussed. We shall start with a theoretical question, summarized below and which is one of the facets of the socalled Ritt problem. A software presentation of the new support for Maple's solve command with semialgebraic systems will conclude the talk. Given a regular chain R, we propose an algorithm which computes the nontrivial limit points of the quasicomponent Q of R, that is, the points that belong to the Zariski closure of Q but not to Q. Our procedure relies on Puiseux series expansions and avoids the computation of a system of generators of the saturated ideal of R. We focus on the case where this saturated ideal has dimension one and we discuss extensions of this work in higher dimensions. This is a joint work with Parisa Alvandi and Marc Moreno Maza.

Last modified on Tuesday, 05 March 2013, at 12:47 hours.