#14534: Composition of ring homomorphisms
---------------------------+------------------------------------------------
Reporter: tfeulner | Owner: tbd
Type: enhancement | Status: new
Priority: trivial | Milestone: sage-5.10
Component: performance | Keywords:
Work issues: | Report Upstream: N/A
Reviewers: | Authors: Thomas Feulner
Merged in: | Dependencies:
Stopgaps: |
---------------------------+------------------------------------------------
When composing a `RingHomomorphism` and an instance of
`RingHomomorphism_im_gens` then
the images of the generators are again checked for their validity.
This patch avoids this unnecessary test.
With the patch
{{{
sage: F.<a> = GF(3^100, 'a')
sage: f= F.hom([a^(3^5)])
sage: %timeit f^100
1 loops, best of 3: 290 ms per loop
}}}
before:
{{{
1 loops, best of 3: 1.73 s per loop
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14534>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
