#19557: Basic iteration functionality for products of projective spaces
-------------------------------------+-------------------------------------
       Reporter:  gjorgenson         |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  minor              |    Milestone:  sage-6.10
      Component:  algebraic          |   Resolution:
  geometry                           |    Merged in:
       Keywords:                     |    Reviewers:
        Authors:  Grayson Jorgenson  |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  920d9970db50e891151484574748b3381aa44f0a
  u/gjorgenson/ticket/19557          |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by bhutz):

 * status:  needs_review => needs_work


Comment:

 Need to fix the merge issue.

 From looking through the commits I see a couple things to fix:

 in nth_iterate:
 these checks are done in __call__ with better coercion, so not needed
 here.
         if self.codomain()!=f.domain():
             raise TypeError("Point is not defined over domain of
 function")

 use .is_endomorphism() instead:
         if f.domain() != f.codomain():
             raise TypeError("Domain and Codomain of function not equal")

 in nth_iterate_map
 use is_endomorphism() check

--
Ticket URL: <http://trac.sagemath.org/ticket/19557#comment:5>
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