It seems that unfortunately the problem persists for multivariate rings as well:
A.<t,u> = QQ[]
B.<x,y,z> = QQ[]
H = B.quotient(B.ideal([B.2]))
f = A.hom([H.0, H.1], H)
f
f.kernel()
Ring morphism:
From: Multivariate Polynomial Ring in t, u over Rational Field
To: Quotient of Multivariate Polynomial Ring in x, y, z over Rational Field by the ideal (z)
Defn: t |--> xbar
u |--> ybar
Ideal (-t, -u, 0) of Multivariate Polynomial Ring in t, u over Rational Field
I have the impression that the fact that the ring homomorphism is to a quotient ring introduces the error, but that's just a wild guess.