#10198: Homsets of schemes are wrong
--------------------------------------+-------------------------------------
       Reporter:  novoselt            |         Owner:  AlexGhitza        
           Type:  defect              |        Status:  needs_review      
       Priority:  major               |     Milestone:  sage-5.1          
      Component:  algebraic geometry  |    Resolution:                    
       Keywords:                      |   Work issues:                    
Report Upstream:  N/A                 |     Reviewers:  Andrey Novoseltsev
        Authors:                      |     Merged in:                    
   Dependencies:                      |      Stopgaps:                    
--------------------------------------+-------------------------------------
Changes (by novoselt):

  * status:  new => needs_review
  * reviewer:  => Andrey Novoseltsev
  * milestone:  => sage-5.1


Comment:

 Now (in Sage-5.1.beta0) we get
 {{{
 sage: Hom(ProjectiveSpace(3), ProjectiveSpace(1))
 Set of morphisms
   From: Projective Space of dimension 3 over Integer Ring
   To:   Projective Space of dimension 1 over Integer Ring
 }}}
 which is more sensible. So this ticket can be closed.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10198#comment:1>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to