#19551: Basic failures in projective product morphisms
---------------------------+-----------------------------------------------
Reporter: bhutz | Owner:
Type: defect | Status: new
Priority: minor | Milestone: sage-6.10
Component: algebraic | Keywords: product projective morphism
geometry | Authors:
Merged in: | Report Upstream: N/A
Reviewers: | Branch:
Work issues: | Dependencies:
Commit: |
Stopgaps: |
---------------------------+-----------------------------------------------
The following are simple bugs in projective product morphisms:
{{{
PP.<x,y,z,u,v,w>=ProductProjectiveSpaces(QQ,[1,1,1])
HP=End(PP)
f=HP([v*x^2,w*y^2,z^2,u^2,v^2,w^2])
Q=PP([0,1,1,1,1,0])
f(Q)
}}}
{{{
R.<s,t>=PolynomialRing(QQ)
Z.<a,b,x,y,z> = ProductProjectiveSpaces([1,2],QQ)
P.<u,v,w,s,t,r>=ProductProjectiveSpaces([3,1],QQ)
H =Hom(Z,P)
f = H([a^2,b^2,a^2,a*b,a*x,b*z])
}}}
the following should fail (not multihomogeneous) but passes
{{{
Z.<a,b,c,x,y,z> = ProductProjectiveSpaces([1,3],QQ)
P.<u,v,w,s,t,r>=ProductProjectiveSpaces([2,2],QQ)
H =Hom(Z,P)
f = H([a^2,b^2,c^2,x^2,y^2,z^2])
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/19551>
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.