factor -- factor a ring element or a ZZ-module

Ways to use factor :

• factor(Module) -- factor a ZZ-module
• factor(QQ), see factor(RingElement) -- factor a ring element
• factor(RingElement) -- factor a ring element
• factor(ZZ), see factor(RingElement) -- factor a ring element