Outsourced the second iterator, added examples and installed a list, which stores all irreducible factors of degree higher than one.