Added modular resultant implementation (not asymptotically fast).