#18589: isogeny efficiency improvement
-------------------------+-------------------------------------------------
       Reporter:         |        Owner:
  cremona                |       Status:  needs_work
           Type:         |    Milestone:  sage-6.8
  enhancement            |   Resolution:
       Priority:  major  |    Merged in:
      Component:         |    Reviewers:
  elliptic curves        |  Work issues:
       Keywords:         |       Commit:
  isogeny                |  47ccfd587402b953c612fcd3cddaa541a6847bd3
        Authors:  John   |     Stopgaps:
  Cremona                |
Report Upstream:  N/A    |
         Branch:         |
  u/cremona/18589        |
   Dependencies:         |
-------------------------+-------------------------------------------------

Comment (by jdemeyer):

 Replying to [comment:28 cremona]:
 > Very good question!  I think it always happens, since the operation f
 --> mult(f) applies the multiplication-by-a map to the roots, so must take
 f to another irreducible factor of the same degree;  the fact being
 checked is that the resulting cycle has the correct length, which is
 (l-1)/2 divided by deg(f), so that the product of the f's in the cycle
 gives the kernel polynomial. [I will delete the check.]  I tried removing
 the check and got run-time errors, so my mathematics must be wrong...

 I also used the same thinking as you, and I also don't understand the
 problem...

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