Well we don't have any functionality in Sage implemented for efficiently
dealing with non-morphisms. However, you can define such a map in Sage:
a=3
b=1
A.<z,w>=AffineSpace(QQ,2)
H=End(A)
f=H([a/z+b/w,z])
f
or more generically
R.<a,b>=PolynomialRing(QQ)
A.<z,w>=AffineSpace(QQ,2)
H=End(A)
f=H([a/z+b/w,z])
However, unless I'm mistaken, the fixed points of this map are quite
simple as the two values satisfying
a+b = z^2
z=w
>
https://groups.google.com/d/msgid/sage-dynamics/f7d53da4-bbd4-469f-91d5-76b816aa0578%40googlegroups.com
> <
https://groups.google.com/d/msgid/sage-dynamics/f7d53da4-bbd4-469f-91d5-76b816aa0578%40googlegroups.com?utm_medium=email&utm_source=footer>.