| 1 | initial version |
That seems like an error to me that should be reported. In the mean time, a workaround:
sage: phi=Hom(RKH,RKHn)([RKHn.0,RKHn.1,1])
sage: phi(pfn)
a*x1^2 + (-b)*x1*x2 + 1
sage: parent(phi(pfn))
Multivariate Polynomial Ring in x1, x2 over Fraction Field of Multivariate Polynomial Ring in a, b over Rational Field
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.