type(obj) = <type 'sage.rings.morphism.RingHomomorphism_cover'>
version = 3.4.rc1
obj =
'Ring morphism:
  From: Multivariate Polynomial Ring in x, y over Rational Field
  To:   Quotient of Multivariate Polynomial Ring in x, y over Rational Field by the ideal (x^2 + y^2)
  Defn: Natural quotient map'
