#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.

Reply via email to