-17326- Added example

sagemath · Feb 6, 2015 · f9ce9da · f9ce9da
1 parent 4adf3c9
commit f9ce9da
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/sage/schemes/projective/projective_morphism.py b/src/sage/schemes/projective/projective_morphism.py
@@ -1150,12 +1150,12 @@ def is_morphism(self):
             sage: f.is_morphism()
             True
 
-        ::
+        Map that is not morphism on projective space, but is over a subscheme::
 
-            sage: P.<x,y,z> = ProjectiveSpace(QQ,2)
-            sage: X = P.subscheme([x^2 - z^2])
+            sage: P.<x,y,z> = ProjectiveSpace(RR,2)
+            sage: X = P.subscheme([x*y + y*z])
             sage: H = Hom(X,X)
-            sage: f= H([x^2 + z^2, 3*y^2, z^2 - 2*x^2])
+            sage: f = H([x*z-y*z,x^2-y^2,z^2])
             sage: f.is_morphism()
             True
         """