#17374: Composition of three scheme morphisms produces type error
----------------------------------+-----------------------------------
Reporter: wishcow | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.5
Component: algebraic geometry | Keywords: scheme morphism
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
----------------------------------+-----------------------------------
The following code produces type error:
{{{
#!div style="font-size: 80%"
{{{#!python
A.<x,y,z> = AffineSpace(QQ,3)
M = A.subscheme([x^2+y^2+z^2-3*x*y*z])
H = Hom(M,M)
f1 = H([3*y*z-x,y,z])
f2 = H([x,3*x*z-y,z])
f3 = H([x,y,3*x*y-z])
f3*f2*f1
}}}
}}}
{{{
TypeError: right (=Scheme endomorphism of Closed subscheme of Affine Space
of dimension 3 over Rational Field defined by:
-3*x*y*z + x^2 + y^2 + z^2
Defn: Defined on coordinates by sending (x, y, z) to
(3*y*z - x, y, z)) must be a map to multiply it by Composite map:
...
}}}
This looks similar to previous ticket #14537
--
Ticket URL: <http://trac.sagemath.org/ticket/17374>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
