  Cylindrical Algebraic Decomposition (CAD) by projection and lifting requires
many iterated univariate resultants. It has been observed that these often
factor, but to date this has not been used to optimise implementations of CAD.
We continue the investigation into such factorisations, writing in the specific
context of SC-Square.
