#12880: Inconsistent domain, codomain and parent in EllipticCurveIsogeny
-------------------------------------+-------------------------------------
       Reporter:  nthiery            |        Owner:  cremona
           Type:  defect             |       Status:  needs_work
       Priority:  minor              |    Milestone:  sage-6.2
      Component:  elliptic curves    |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Sébastien Besnier  |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/sbesnier/ticket/12880            |  e623041b239f32098efb927f68a240529644b625
   Dependencies:  #11474             |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by defeo):

 * status:  needs_review => needs_work


Comment:

 Wow. It's so cool to be finally able to compose isogenies!

 There's various doctests failing in `ell_curve_isogeny.py`. Most of them
 are because of #11474, so they should be ok once that one's fixed. However
 there's one weird failure, not sure if it depends on #11474 too:

 {{{
 File "src/sage/schemes/elliptic_curves/ell_curve_isogeny.py", line 945, in
 sage.schemes.elliptic_curves.ell_curve_isogeny.EllipticCurveIsogeny._call_
 Failed example:
     phi(E(15,20), output_base_ring=GF(23^2,'alpha'))
 Exception raised:
     Traceback (most recent call last):
       File "/home/dfl/sage/local/lib/python2.7/site-
 packages/sage/doctest/forker.py", line 480, in _run
         self.execute(example, compiled, test.globs)
       File "/home/dfl/sage/local/lib/python2.7/site-
 packages/sage/doctest/forker.py", line 839, in execute
         exec compiled in globs
       File "<doctest
 
sage.schemes.elliptic_curves.ell_curve_isogeny.EllipticCurveIsogeny._call_[6]>",
 line 1, in <module>
         phi(E(Integer(15),Integer(20)),
 output_base_ring=GF(Integer(23)**Integer(2),'alpha'))
       File "map.pyx", line 764, in sage.categories.map.Map.__call__
 (sage/categories/map.c:5434)
       File "map.pyx", line 797, in sage.categories.map.Map._call_with_args
 (sage/categories/map.c:5698)
     NotImplementedError: _call_with_args not overridden to accept
 arguments for <class
 'sage.schemes.elliptic_curves.ell_curve_isogeny.EllipticCurveIsogeny'>
 }}}

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