Applications of a Factorisation Theorem for Ninth-Order Aberration Optics. - Miguel Navarro-Saad; Kurt Bernardo Wolf (J. Symb. Comput., 1985)