MDLD/divisor (polynomial)

Start=divisor (polynomial) Target=Polynomial ring/K/Division/Definition