Continuous detection of the variations of the intersection curve of two moving quadrics in 3-dimensional projective space

We propose a symbolic algorithm for detecting the variations in the topological and algebraic properties of the intersection curve of two quadratic surfaces (QSIC) that are moving or deforming in PR3PR3 (real projective 3-space). The core of our algorithm computes all the critical instants when the QSIC changes type using resultants and Jordan forms. These critical instants partition the time axis into intervals within which the QSIC is invariant. The QSIC at the computed critical instants and within the time intervals can both be exactly determined using symbolic technique. Examples are provided to illustrate our algorithm.