Tag polynomial long division