#3964: [with patch, needs review] projective space homs do not check arguments
sufficiently
---------------------------------------+------------------------------------
 Reporter:  cremona                    |        Owner:  was     
     Type:  defect                     |       Status:  new     
 Priority:  major                      |    Milestone:  sage-3.4
Component:  algebraic geometry         |   Resolution:          
 Keywords:  projective space morphism  |  
---------------------------------------+------------------------------------
Comment (by cremona):

 This looks pretty good (I have not actually tested it yet though).  Alex,
 can we not check that the polys define a map to the correct space by
 checking that the defining polys of the target (if any) vanish when
 evaluated at the tuple of polys defining the map?  If that works it would
 be worthwhile adding it.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/3964#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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