This is an implementation of Dixon Resultant using sympy library.