? chinese(Mod(7*x-20,x^2+4),Mod(-2,x+3))
%1 = Mod(3*x^2 + 7*x - 8, x^3 + 3*x^2 + 4*x + 12)
?
? Mod(a*x^3+b*x^2+c*x+d,(x^2+4)*(x+3))
%2 = Mod((-3*a + b)*x^2 + (-4*a + c)*x + (-12*a + d), x^3 + 3*x^2 + 4*x + 12)