pinball: factoring with ROOT LOCUS